Revision 714

Change the way that vocabulary.html is generated from vocabulary.xml,
  after discovering some weirdness with the rendering of the
  previously generated file in some browsers -- some odd interaction
  between XHTML content and links and maybe the text/html MIME type, I
  don't know.
I now generate the XHTML and then convert it to HTML using an identity
  transform.