Richard,
I will admit that I, too, find the adoption of the terminology "input gestures" for what are almost universally dubbed "keyboard shortcuts" just plain weird. But I also know that most developers of things that have keyboard shortcuts that are add-ons know that what they have chosen as a keyboard shortcut might conflict with something else that a user has on their system and include the ability to reassign shortcuts due to this.
--
Brian - Windows 10 Home, 64-Bit, Version 1809, Build 17763
A great deal of intelligence can be invested in ignorance when the need for illusion is deep.
~ Saul Bellow, To Jerusalem and Back