Better pretty-printing of HTML, in Python.