People USE "HTML5" like "Ajax" - but that doesn't mean there's a legitimate specification being written that is not "HTML5" but HTML5.