Archive obsolete github repos

Description

There are a lot of moribund repos out there. We can tidy up by archiving them (which means they don't show up in casual searches―but you can still access them directly, where they display a prominent archival banner when you visit their page). To begin with, these module repos will be archived:

See https://docs.github.com/en/github/creating-cloning-and-archiving-repositories/archiving-a-github-repository for more information about archived GitHub repos.

Acceptance Criteria

None
Configure