[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:
   Resolution:                   |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |
---------------------------------+-----------------

Comment (by asn):

 Attached a potential ''untested'' patch.

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