[metrics-bugs] #27945 [Metrics/Website]: Remove koninoo from Development page

[Tor Bug Tracker & Wiki]

#27945: Remove koninoo from Development page
---------------------------------+--------------------------
     Reporter:  karsten          |      Owner:  metrics-team
         Type:  enhancement      |     Status:  new
     Priority:  Medium           |  Milestone:
    Component:  Metrics/Website  |    Version:
     Severity:  Normal           |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |   Reviewer:
      Sponsor:                   |
---------------------------------+--------------------------
 Turns out that koninoo is not really maintained anymore. Let's remove it
 from the [https://metrics.torproject.org/development.html Development
 page].

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