Add respec2html.js documentation; make valid HTML.