DDoS attack, servers down :(

Right now are we being targeted by a DDoS attack. All systems are very hard to reach. We are so sorry (and quite mad) that someone does think we and our users deserve this.

We are working on the problem and hope to solve it soon, and will publish more info when we have it.

Update: Things are running again, for now at least.