--- title: Add shortcuts to Web IDE docs and modal merge_request: 19044 author: type: changed