Buildbot is offline due to Internet service outage. Today is a holiday in the U.S. The soonest they can get a technician here is in three days. But the problem affects more customers than just me so maybe they will solve it before then.