Switch from using `DOMDocument` to `Dom\HTMLDocument`

[oliverklee]

… once we require PHP >= 8.4.0.

The new class is recommended over the old class.

https://www.php.net/manual/en/domdocument.loadhtml.php
https://www.php.net/manual/en/class.dom-htmldocument.php