Boy, talk about waking the dead!
As I do almost all of my HTML editing as part of a
Java web app, I just use the HTML plugin of
IntelliJ IDEA rather than switching to a separate tool.
For quick edits when not running the
IDE, I'll usually use
BBedit.