[tor-commits] r25727: {website} remove antagonism/dist from the mirror list. (in website/trunk: . include)