[PATCH 1/2] update metrics links in Tor WebUI