SelectTab Shortcut Override od Zibi Braniecki

The extension triggers keyboard tab selection via ctrl+1, ctrl+2, etc. keys. This is useful especially on Linux where the default shortcuts use alt+* and cannot be changed without an extension.