@sitnik_ru Всё конечно круто, но в гноме был чудовищный механизм включения расширений, в последний раз когда я на него смотрел. Нужно было в браузере поставить сначала какое-то расширение, а потом на сайте уже включать расширение для гнома — полный провал🤦
@cosmoself и тогда и сейчас процесс был такой:
1. Заходишь браузером на https://extensions.gnome.org/
2. Находишь расширение
3. Нажимаешь кнопку Установить
4. Всё, оно работает