[tor-commits] r25349: {website} remove a dead mirror. (in website/trunk: . include)