[tor-commits] [metrics-web/release] Use ipv6servers' CSV files instead of servers.csv.