We will be pushing an update to the Galaxy site this evening starting at 6:00 PM EDT. Please be aware that although we don’t anticipate any detectable outage, it’s entirely possible that something may brake during deployment.
Will update the mailing list as soon as the update completes.
–Chris