All W3C published SGML DTDs for HTML