We have just suffered another episode of CPU congestion. It should be fine now. We are monitoring the situation.
Closes #1076 (closed)