Switch to HTML5 document type

As a basic test that yes, we are running our own custom docket.