Validated HTML/SGML editing
