I thought I used Coffezilla, but it looks like maybe it was CoffeeCup, except at a glance I’m not sure that’s a WYSIWYG editor. Maybe things changed in the intervening decades.