DNS downtime

DNS and IRC was unavailable between 12:56am and 03:22am due to a networking error. System performance was degraded, unexpected errors may have occurred during that time, and logins may have timed out. We apologize for the inconvenience.