Back to life

We had a DNS issue. We fixed it, but it could take some time to propagate. If you still can’t connect, restarting your computer or flushing DNS cache may help. Otherwise, the DNS update should not take longer than one hour.