Server Outage 2015-11-10

A bunch of our sites, including, are currently down. This is presumably due to a problem at our hosting service. We have a ticket in and hopefully will get this resolved ASAP.

This topic is now a banner. It will appear at the top of every page until it is dismissed by the user.

This topic is no longer a banner. It will no longer appear at the top of every page.

The servers are back up.