web40 is currently down. We are investigating the issue.

2012-12-03 22:57 UTC: The server is now back online and functioning normally.