When I last wrote, I thought the downtime would be measured in hours, not days. Clearly I was optimistic. But the relevant staff still say they're working on this -- admittedly distracted by other things that got even more broken, but still working on it.
My apologies...
Ben