Grabs are mentionned but never defined
In the core protocol grabs and implicit grabs are mentioned but never defined. We should probably explain what grabs are in the protocol.
In the core protocol grabs and implicit grabs are mentioned but never defined. We should probably explain what grabs are in the protocol.