https://gitlab.torproject.org/tpo/network-health/metrics/website/-/merge_requests/10 Merged and deployed