In the meantime I fixed it. Went into HTML Editor settings, unchecked the Enable setting (or whatever it was called), saved the page, then re-checked it and saved again. Editor is now back on the screen.
(BTW using Firefox).
Upgraded to v1.9.6 and WYSIWIG HTML editor disappeared
This discussion has been locked because a year has elapsed since the last post. Please start a new discussion topic.