more work on html5-to-html4.xsl; most elements done; a few remaining