Back at the old stand

Total downtime was about five hours, which wasn't too bad, all things considered. Normal operation, to the extent that any of this can be considered "normal," was restored slightly before 5 am. Planned downtime, to be sure, is much more pleasant than unplanned downtime — and it's easier to schedule, too.