If a repo has been archived (as described for GItHub [here](https://docs.github.com/en/github/creating-cloning-and-archiving-repositories/archiving-repositories)), we should reduce its search rank, and add an indicator to its pages.
If a repo has been archived (as described for GItHub here), we should reduce its search rank, and add an indicator to its pages.