emit valid HTML5 with helpful HTML page titles