Use Dom\HTMLDocument instead of DOMDocument

[annybs]

Dom\HTMLDocument is more modern than DOMDocument and probably more stable long-term, but the equivalent XPath class (required for substitution) is undocumented. This needs more R&D.