One of the lectures in my courses had me asking the following question: Is HTML5 a subset of SGML?
I did a little googling. Here are the links I found most relevant. Maybe someday I will write my own opinion on the topic... The short answer is that HTML5 became an abstract language with two modes of instantiation. One is XML valid (and hence SGML), the other is not SGML valid.