added a comment - - edited
In fact I am going to remove this rule altogether:
We now have a new rule which checks that the document has a DOCTYPE declaration:
If we remove that part from this rule, then it will only verify that DOCTYPE do have a DTD.
But if we want to allow HTML5, we must remove that DTD presence requirement.
Hence, this rule should be removed.