htdocs: switch to HTML5.