Archiving the repository

Hello, folks.

This repository hasn't been updated in more than a year.

Please comment on this issue before the end of November, 2024 providing reasons why it shouldn't be archived (or confirming that it should) or else we will sweep it into the archive.

