We will be performing emergency upgrades on the Vern server on Monday Oct 22th 2AM EST. Expected downtime is less than 15 minutes.