We are currently experiencing some connection problems. We believe it may be a Distributed Denial of Service Attack (DDoS). We will update this post as we know more.
Update: 1055 CET: The attack seems to be over. We are keeping some of the mitigation fixes in place for the time being, but services should be returning to normal now.