Alias HTML5 to html5.