Removing the version number from HTML5 and simply calling it ‘HTML’ has ‘benefits’.’In practice, the WHATWG has basically been operating like this for years, and indeed we were going to change the name last year but ended up deciding to wait a bit since people still used the term “HTML5” a lot. However, the term is now basically being used to mean anything Web-standards-related, so it’s time to move on!’