Clarify the behavior of GrabServer
According to the specification, GrabServer
... disables processing of requests and close-downs on all connections other than the one this request arrived on.
One would thus reasonably expect when the server is grabbed, the entire internal state of the X server can only be modified by the client grabbing the server. If that assumption is true, as a corollary one should be able to expect to not receive any window DestroyNotify after the server grab is confirmed.
But that is not what I have observed. After grabbing the server, I sometimes would receive further DestroyNotify. Which means my assumption must be wrong, but I don't understand how it could be wrong, as it seems to follow straight from the protocol specification.
I think the specification need some clarification.