org.gnome.ExtensionsExtensionsManage your GNOME ExtensionsCC0-1.0GPL-2.0-or-laterhttps://gitlab.gnome.org/GNOME/gnome-shell/-/tree/master/subprojects/extensions-apphttps://gitlab.gnome.org/GNOME/gnome-shell/issues/newhttp://www.gnome.org/friends/https://wiki.gnome.org/TranslationProjectGNOMEorg.gnome.Extensions.desktopHiDpiIconHighContrastModernToolkitpointingkeyboardtouch
GNOME Extensions handles updating extensions, configuring extension preferences and removing or disabling unwanted extensions.