Tonight at midnight System Operations will perform maintenance to the shell server. Downtime for this operation should only last a few minutes. An update will be posted here once maintenance is complete.
Update: Maintenance was inadvertently completed early. We apologize for the inconvenience.