def html_doctype_matches(text):
    return doctype_matches(text, r'html\s+PUBLIC\s+"-//W3C//DTD X?HTML.*')
Check if the file looks like it has a html doctype.
dataset/ETHPy150Open joeyb/joeyb-blog/externals/pygments/util.py/html_doctype_matches