I don't know what happened but the server rebooted overnight, and some services didn't come back up, in particular naming, so some machines might have failed to resolve this domain. All seems to be well now. It seems this has been one of those weeks...