Я попытался установить расширения с помощью gnome tweak tool, вручную через каталог .local / share, а также через ppa, когда могу, но все же не могу видеть расширение на панели. Любые мысли?