All the other comments that are here now list alternatives. Has anyone compared these and can share some insights on pros and cons of are these pretty much equivalent?
Local WordPress development sounds like something I might want or need, but have not looked into yet. It would be great to hear what's out there, what's good, and what one should look out for.