Mirror of the HTML parser used by the validator.