GNOME Extension Manager - утилита для просмотра и установки расширений GNOME Shell.

Бесплатная и с открытым исходным кодом программа
Установка посредством: Flatpak пакета https://linuxmasterclub.ru/gnome-extension-manager/