Danke, es hat mich zwar nicht direkt weiter gebracht.
Nur so, dass mir klar wurde, dass es wohl keine "Einstellungssache"
ist (Gott, was habe ich gesucht!).
Ich habe dann - hätte ich auch vorher schon machen können! -
einfach einen anderen Browser verwendet und der HTML-Editor
war im Teilnehmer-Modus sofort und an jeder Stelle da.
Der vorher verwendete Browser ist einfach stur und startet
den HTML-Editor einfach nicht (auch die anderen übrigens nicht).