Monday, July 23, 11:15 Eastern time. The machine is being shifted from one office to another, so it should be back online a few minutes after that. If something goes wrong, we’ll let you know.
There will probably be another shift later in the summer. (They’re drilling holes in Wean Hall, but the schedule isn’t known yet.) Sorry about that.