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....