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