This link App IDE keyboard shortcuts | Retool Docs is broken. It does not exist on the page.
Thanks for flagging! Any chance you remember which page had that link? Looks like it moved here: https://docs.retool.com/apps/web/guides/custom-keyboard-shortcuts