gnome-extensions-app: gnome-extensions-app (Manage GNOME Shell extensions)
gnome-extensions-app:
gnome-extensions-app: GNOME Extensions is an application for configuring and removing
gnome-extensions-app: GNOME Shell extensions.
gnome-extensions-app:
gnome-extensions-app: Homepage: https://gitlab.gnome.org/GNOME/gnome-extensions-app
gnome-extensions-app:
gnome-extensions-app:
gnome-extensions-app:
gnome-extensions-app:
gnome-extensions-app: