Alias HTML5 to html5.
Merge pull request #40 from tobie/aliases

Alias HTML5 to html5.