[tor-bugs] #23597 [Metrics/Library]: Correct links in metrics-lib overview page.

[Tor Bug Tracker & Wiki]

#23597: Correct links in metrics-lib overview page.
---------------------------------+-------------------------------
     Reporter:  iwakeh           |      Owner:  metrics-team
         Type:  defect           |     Status:  new
     Priority:  Medium           |  Milestone:  metrics-lib 2.2.0
    Component:  Metrics/Library  |    Version:
     Severity:  Normal           |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |   Reviewer:
      Sponsor:                   |
---------------------------------+-------------------------------
 The [https://metrics.torproject.org/metrics-lib/ overview] has a broken
 link to the bugtracker (b/c of the recent component renaming).
 This link https://metrics.torproject.org/metrics-lib.html should be added.

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