[judge2020]

Maybe because it's still being imported, but the archive.org team probably needs to review it and make it more widely available (ie. on web.archive.org).

[1024core]

If "the team needs to review it", I guess we're going to have another gatekeeper?