The maintenance has been completed.
On Thursday, December 21st at noon EST will be performing maintenance on the back-end DNS servers. This should not cause downtime and there should be no impact to users. For questions or concerns, please email firstname.lastname@example.org. Issues should be reported to the NOC.