HTML editor

Trawled the web looking for a good html editor. Settled on http://www.w3.org/Amaya which is a bit clunky but does the trick for my limited HTML use.

See also http://en.wikipedia.org/wiki/Comparison_of_HTML_editors