Many apologies for some bumpiness just now – this was initiated by our otherwise lovely hosting company mistakenly rebooting our server the hard way (by knocking against the power cable) and then our server (which hadn’t rebooted for a few months) being slightly disconcerted for having been rebooted. All sorted out now, sorry for the interruption.