Is anyone using WebDev, a Web page editing program for PHP development? It looks interesting, but I’m trying to consolidate my life around fewer applications. Right now, I do most of my editing in vi or UltraEdit. My New Year’s resolution was to start doing everything in Emacs, but I haven’t had time to learn it.