Thank you! There’s already a menu accessible by pressing Esc. In the browser version, you might need to press it more than once because the first press can get swallowed by the focus handling.
