[2020] Servers down or? . waiting for a miracle

Looks like there was some kind of global networking issue that was affecting all sorts of services, including ours.