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.