Suppose a user installs extension A which defines a command with a keyboard shortcut, and then installs another extension B defining another command using the same shortcut.
Which handler(s) is invoked when the user invokes the shortcut? Is there a priority queue based on installation date or another property?
