Switched documentation to xhtml, to be able to integrate google-pretty-print