Archive Repo

[micahwiesner67]

Hey,

If this repository is read-only could you please archive it in github. It will add this nice banner at the top of the repository which will communicate this status to all users (example below). Thanks so much.

[gaborcsardi]

It receives updates via the mirroring, so I am not going to archive it.