i forgot that i had made a similar request on another browser extension thread. over there, i suggested allowing users to customize their shortcuts using a JS definition. i think that’s the same way i would start to approach the suggestion here. once that’s working, then develop the GUI, if there’s still time and desire.