Spring server is back online. Thanks to everyone who ensured a speedy recovery!

On the same note, springinfo maintenence is complete. The downtime should have been no more than 30 seconds at the most.