Removing some gratuitous XHTML-isms. They still break JavaHelp, alas, and the manual is anyway not even strictly formatted plain HTML, much less XHTML.