Remove HTML Purifier

We're no longer using it, having switched to Tidy. (As wonderful as
HTML Purifier is.)