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.