You know what? I *get* that 'HTML5 video' is shorthand for 'video in a generally supported format wrapped in HTML5 tags'. But if I hadn't got that, I wouldn't have found it out from either the article or the summary.
I'm not really sure what the point of Slashdot is if it's just going to be another link aggregation site with the summary merely an excerpt or paraphrase of the linked article. It being 'news for nerds', I'd expect *at least* a technical angle on the story, because frankly there are far easier places for me to get my 'technical news for laypeople'.
Hence my point. Sorry it rubbed you up the wrong way.