Markdown translation generating HTML5 again