Put version number in the HTML.