Ctrl Tabs Autor: Mikel Ward

Allows changing to a different tab by pressing Ctrl and a number at the same time. Primarily useful on Linux, where the default is Alt+number. Partial replacement for my Windows Shortcuts extension for Firefox 55 and above.