Due to the redesign of metrics.torproject.org all links to metrics.tp.o from https://research.torproject.org/index.html are broken, i.e., result in 404. Concerned are two links in the 'Data' item and one in 'Measurement&Attack tools'. What should be used to replace them? Suggestion: Remove links `https://metrics.torproject.org/data.html` and `https://metrics.torproject.org/graphs.html` and provide one liǹk to `https://metrics.torproject.org/`. `https://metrics.torproject.org/tools.html` could be changed to `https://metrics.torproject.org/operation.html`. But there are surely better options. Thoughts?