Some users may have experienced a slower site between 17:19 and 17:27 on Monday, Nov 30th, though the site remained up. This was due to a DDOS attack. Our engineers have put measures in place to mitigate this and are continuing to monitor the situation.