git.htmlpurifier.org has been broken for a while.