Maintenance

This evening, we're transitioning our deployment to AWS Lambda. This transition will involve a DNS migration, during which both our legacy deployment and the AWS deployment will both receive traffic. We do not anticipate this will cause any interruptions in service, but we're on hand in case issues arise.

There's another DNS update we need to make to catch up to the AWS migration yesterday. For this update, we're expecting minor degradation of service.