In reply to a tweet by @estellevw:
@estellevw s/in HTML5/in a document published by the HTML WG/. They are not the same thing.