Hello, On http://www.logic.univie.ac.at/~ametzler/.x/FAQ.xhtml you can find an initial shot at conversion of the FAQ to xhtml. It validates
http://validator.w3.org/check?uri=http%3A%2F%2Fwww.logic.univie.ac.at%2F%7Eametzler%2F.x%2FFAQ.xhtml as XHTML 1.0 Strict. It could be beautified with proper CSS but I think it is basically ok and frankly I don't want to look at it (at least today.) ;-) hth, cu andreas