INFRA: old kermit will be shutdown on Sunday


this is a last note for everyone having access to our old web server, kermit. This machine will be shut down this Sunday.

If you haven't backed up any data you may need, please do so *NOW*.

Following the prior announcement of this, we will not keep backups of personal files besides the websites we have migrated now.

If you have any questions, please write to