| At some point in the future when sources.g.o is redone, there
| will be a sub-page for retired repos.
FYI. Not gonna happen with the current setup.
sources.g.o is on life support anyway.
For the git browser, we can easily mark repositories with a description or category denoting their status on request.