Switch to github mirror of HTML Purifier, upgrade to v4.6