TorMetrics: the primary place to learn interesting facts about the Tor network (metrics.torproject.org)