never mind. i think it's not a sign of the problem we were discussing,
but possibly something is simply down.