But that’s not how terms are coined. “HTML5” (the term) has too much history that the W3C can’t ignore. They can’t realistically change definitions by fiat, not

But that’s not how terms are coined. “HTML5” (the term) has too much history that the W3C can’t ignore. They can’t realistically change definitions by fiat, not at this point in time.