Service announcements

2018-10-29 11:57: Problems solved for e-mail fileserver
The e-mail fileserver problems were solved at 11:50.

Some e-mail may yet be delayed, depending on how frequently retries are made by the sender's e-mail provider.