Redesign of the Tor Metrics website