rofi tab switcher per Matvey Soloviev

Important instructions, please read!

This addon provides a fast, hotkey-based tab switcher using rofi, a pop-up dynamic text menu for X11. Only X11-based systems (Linux and maybe *BSD) are supported. The default hotkey for switching tabs is Ctrl+Comma, but this can be configured.

The addon requires a native backend to communicate with rofi. Download and install it from the Github repository. It is sufficient to fetch install.sh and rofiface.py into a directory of your choosing, set install.sh executable (chmod +x install.sh) and run it, which will create the required record in $HOME/.mozilla/native-messaging-hosts/.

You should make sure that rofi>=1.5.0 is in your $PATH (e.g. by installing the rofi package in the Debian testing repositories) and you have some version of Python installed.