MatraSPort (and indeed all websites on the server) were unreachable through the night, as the front-end reverse-proxy cache (varnish) had crashed in a way that prevented it from restarting. I was asleep so didn;t notice.