[tor-commits] [webwml/master] remove a mirror, add a new mirror