This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The title of the specification is "HTML5", but in the content, like in 1.6, it is referred to as "HTML 5". Then in 1.6 it says that this is the version 5.0 of HTML and XHTML. There are uses like XHTML1, XHTML5, XHTML 5, HTML4 and so on. Maybe an internal guideline, how to call the specs would be nice, since there is only HTML 4.0 and HTML 4.01 and not really HTML4. You might even give that guideline in the history section. If you want to call the spec families HTML4 and HTML5, that sounds fine. But if you call this version 5.0 in section 1.6, I think, you have to be consistent with the earlier specs and call it HTML 5.0 in the title too.
HTML5.1 Bugzilla Bug Triage: Fixed some inconsistencies. However, HTML5 is the official shortname for the document or HTML51 depending on the version. I searched for all cases of HTML5 and HTML 5 and corrected them as necessary for the text that was around them. https://github.com/w3c/html/pull/252 If this resolution is not satisfactory, please copy the relevant bug details/proposal into a new issue at the W3C HTML5 Issue tracker: https://github.com/w3c/html/issues/new where it will be re-triaged. Thanks!