[tor-commits] [webwml/master] dump a bunch of old mirrors that don't resolve anymore