We should close and mark this repo as a read-only [archive](https://help.github.com/en/github/creating-cloning-and-archiving-repositories/archiving-a-github-repository), no?
We should close and mark this repo as a read-only archive, no?