[tor-commits] [metrics-web/master] Extend ipv6servers to replace servers.csv.