Hello all,

Because some of you don't visit the other fora on the .Org, this announcement may have escaped you attention.

Short version: our host is shutting down at the end of the month, and we need to switch to a new one. Because of the short notice, this may cause some downtime. The slightly longer version can be found here.