Back in the day, it was useful to distinguish between html and html5 as HTML 5 was introducing new and interesting features to HTML, and different browsers had significantly different support for the new features.
Today, HTML is just HTML. The only tools which care about the differences are validators. Browsers just consume the tags and do the best they can with the elements they detect.
There is no point in distinguishing between versions of HTML and I get the impression that people are very bad at correctly tagging a question with html or html5.
If I look at the list of questions for html5 right now, less than half the questions on the front page are about HTML 5 features.
html5
tag ain't that and never will be, because we've given it an excerpt encouraging everyone to use it as "an umbrella term for recent web technologies". Since the actually-respected modern HTML spec is just called HTML and not HTML 5, it does indeed seem appropriate to make our "recent web technologies" tag a synonym ofhtml
; I tentatively approve of this suggestion.<time>
is strictly an HTML5 thing, it makes some sense. We don't need a granular tag like that