server is up!

As you may have noticed, we have lost the public IP of the server 10 days ago.

The unexpected outage (main website, bug tracker, email) is up now, however the DNS TTL is set to 5 minutes, so it may take a while for the switch-over to become visible to some users.