I thought HTML5 was renamed to just "HTML" you know, to be more clear and open like FireFox dropping version numbers.