Управление расширениями GNOME - Manage your GNOME Extensions
[ О приложении ]

GNOME Extensions handles updating extensions, configuring extension preferences and removing or disabling unwanted extensions.

Источник
Репозиторий: extra