html writing seems to work.
Prefs doctype and encoding are now menues.