In reply to a tweet by @meyerweb:
@meyerweb W3C refuses to let HTML5 be published in HTML5. Which is odd; IIRC HTML4 is published in HTML4, and XHTML1 in XHTML1....