Not quite true, Will - you can edit html with any competent text editor - I use kwrite. I think even Notepad will do.

Phil