Should the repo be archived?

I rarely see people use that feature yet tons of repos on Github are essentially dead.

+1 on this - Jake's done the best thing with deprecating the package (which shows up locally in tooling and will also be surfaced by static analysis tooling (ie security vendors) based on that, but also archiving the repo indicates it to anyone who lands on the repo