didn't WHATWG basically define them as synonyms anyway, and a bunch of that got carried into the HTML5 spec? ISTR that W3C and IETF have in effect diverged on the definitions as a result…