Update generated HTML, dodging docco for the moment