Output HTML DOCTYPE correctly from HtmlAssetTranslator