[tor-commits] [metrics-web/master] Add another navigation bar to Metrics subpages.