This file should be generated from the HTML version by running
the HTML version through html2xhtml.xsl.