Many thanks to @Westhost for keeping us posted about the current (extremely rare) network problem via Twitter!