[tor-bugs] #11416 [Metrics Website]: Correct the anchors in users.html

[Tor Bug Tracker & Wiki]

#11416: Correct the anchors in users.html
-----------------------------+---------------------
 Reporter:  asn              |          Owner:
     Type:  task             |         Status:  new
 Priority:  normal           |      Milestone:
Component:  Metrics Website  |        Version:
 Keywords:                   |  Actual Points:
Parent ID:                   |         Points:
-----------------------------+---------------------
 The anchors in https://metrics.torproject.org/users.html are not proper.
 The anchors are there, but the headlines don't link to them.
 The user needs to inspect the user source to find the anchor name (or do
 some other trick I don't know of)

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/11416>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online