Ah, that’s the deleted message, I didn’t see it, but noticed Red Badger got a timeout and had wondered why.
whoops, never mind. May be for an earlier timeout.