Short downtime today

Our uninterruptible power supply (UPS) failed earlier this month, and is currently providing no protection against a possible power outage. The new one has arrived and Chris is going to replace it today, which might cause a brief loss of Internet connectivity at some point.