I really like the look of the TexMacs' website. I was surprised to see that the meta tag said it was generated in TexMacs, but saw in the FAQ that you do export your TexMacs documents to generate the website. That's exciting to me for making web pages with MathML. However, I noticed many errors when I entered the website address in http://validator.w3.org/. Might that suggest that the export to HTML needs work?