html: JTidy for XHTML-verification