Wasn't hotdog. I just skimmed through https://en.wikipedia.org/wiki/Comparison_of_HTML_editors https://en.wikipedia.org/wiki/Comparison_of_HTML_editors but coul

Wasn't hotdog. I just skimmed through https://en.wikipedia.org/wiki/Comparison_of_HTML_editors https://en.wikipedia.org/wiki/Comparison_of_HTML_editors but couldn't find it. Maybe it was some Microsoft tool. But since back then I mainly used notepad to edit my html it's not really that important :) it's only too bad that none of my websites survived (never hosted anything of importance back then).