[metrics-bugs] #21427 [Metrics/Onionoo]: allow to filter for tor_version

[Tor Bug Tracker & Wiki]

#21427: allow to filter for tor_version
-----------------------------+-------------------------------
 Reporter:  cypherpunks      |          Owner:  metrics-team
     Type:  enhancement      |         Status:  merge_ready
 Priority:  Medium           |      Milestone:  Onionoo-1.4.0
Component:  Metrics/Onionoo  |        Version:
 Severity:  Normal           |     Resolution:
 Keywords:                   |  Actual Points:
Parent ID:                   |         Points:
 Reviewer:                   |        Sponsor:
-----------------------------+-------------------------------
Changes (by iwakeh):

 * status:  needs_review => merge_ready


Comment:

 All checks and tests pass now with the two small commits on
 [https://gitweb.torproject.org/user/iwakeh/onionoo.git/log/?h=task-21427
 this branch].

 Could it be confusing to use use 'version' as search key name, because
 actually the 'platform' field of the details document is used and there
 are fields that contain the word 'version'?

 Other than that: merge ready.

 I'll add a ticket for documentation update.

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