weil ich diese Frage schon mal selber nicht beantworten konnte, hier nun die Lösung:
unter HKEY CLASSES ROOT\.htm/OpenWithList
einen neuen Schlüssel mit einem beliebigen Namen (sinnig ist der Name des gewünschten Editors

) anlegen. In diesem Eintrag sind anzulegen:
1. "shell"
2. "edit"
3. "command" - der hierin befindliche Standard-Eintrag bekommt als Wert den Pfad zum gewünschten HTML-Editor gefolgt von einem Leerzeichen und einem "%1" (ohne ""!)
Im IE kann jetzt der neue Editor ausgewählt werden.