I wonder if they're using reddit servers for the bot attacks. It's an odd coincidence that they're experiencing server problems around the same time the bot spam started on here.