Rebuilt the HTML documentation using a newer xsltproc