As ARM is now called Nyx the [trac repository browser](https://trac.torproject.org/projects/tor/browser) should reflect this renaming. That said, is the repository browser even used with [https://gitweb.torproject.org/] in place?