Remove the completely-untested HTML tidy code