Ah, right!It would be great to include that in the 'how to play' section along with the other keys. I checked there but didn’t see any pause option, so I figured it wasn’t possible.