Use HTML instead of XML for parsing

Using XML-mode munges the HTML too much. It stomps on entities,
adds closing tags, does weird things to indentation, etc.

But HTML mode doesn't indent at all. So we use BeautifulSoup in
python to do our indentation, wheeee!