Describe the request

Allow me to edit keybindings.

Describe the current behavior

The default keybindings may be reasonable for beginners, but they are unreasonable for seasoned developers.

Additional context

VSCode has a menu option (on macOS): Code > Preferences > Keyboard Shortcuts.

Arduino IDE is based on Theia which is based on VSCode. I expect keybinding customization, like VSCode. I would be perfectly happy if this involved editing a file, as long as there was some command or menu option for opening that file.