[metrics-bugs] #21381 [Metrics/CollecTor]: CollecTor web-page should have new Metrics design

[Tor Bug Tracker & Wiki]

#21381: CollecTor web-page should have new Metrics design
-------------------------------+--------------------------------
 Reporter:  iwakeh             |          Owner:  metrics-team
     Type:  enhancement        |         Status:  needs_revision
 Priority:  Medium             |      Milestone:
Component:  Metrics/CollecTor  |        Version:
 Severity:  Normal             |     Resolution:
 Keywords:                     |  Actual Points:
Parent ID:                     |         Points:
 Reviewer:                     |        Sponsor:
-------------------------------+--------------------------------

Comment (by karsten):

 Replying to [comment:33 iwakeh]:
 > A more important question: Is there a way to have to edit only one place
 in order to display 'CollecTor Mirror' instead of just 'CollecTor'
 everywhere (all titles and the header)?

 I'm afraid the only way is to write a tiny script for this, possibly one
 that uses `sed`.

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