[tor-commits] [metrics-web/master] Change an Ant target name.