Two updates are available on this matter, but we had trouble getting to Twitter to advise them.

Update: 20:40

The DDoS attack had been blocked upstream.

Update: 22:00

There are reports that some people are not able to get to the affected DDoS target. This is being investigated.