The server is in fact down. Kuke told me that when he did the restart, basically, it didn't start back up. He has contacted Andrewkm, and he is waiting for a response. If you're bored, join IRC Chat I'm just making this post to inform you guys, I hope it helps!