[tor-commits] [metrics-web/master] Rename Tor Metrics Portal to just Tor Metrics.