Sorry, just realized I hadn't actually announced the downtime, now fixed, of the Bob calendar. Problem w/ our @scaleway VPS. -@petertoddbtc