Not quite actually refuting what you said: HTML was certainly based on SGML (the similarity is obvious!), but it never was an SGML application. It only became an SGML application in the spec a couple of years later at the impetuous of DanC — no major HTML consumer has ever used an SGML parser for HTML.