* HTML_editor: New. First step towards two-level wysiwyg.