Server Gremlins

We had a little trouble with our servers over the last couple of days, believed to be caused by a nasty clan of gremlins. Luckily, we think we just rousted them out, and everything should be back to normal now.