While searching for something else (what order images are loaded from an
HTML document), found this:
http://www.websitedatabases.com/html-to-php.html
I have no idea what this could do other than stick your HTML inside a big
echo statement and save it as PHP, but since it seems to be aimed at
professionals it must do something useful.