Distribution (run cat /etc/os-release):
Pop!_OS 20.04
Related Application and/or Package Version (run apt policy $PACKAGE NAME):
gnome-shell (gnome-shell-extension-prefs)
Issue/Bug Description:
With GNOME 3.36, gnome-shell-extension-prefs(org.gnome.Extensions.desktop) is a graphical program that is included with GNOME Shell to help manage GNOME Shell extensions. This program should probably be stored in one of the app folders, either "System" or "Utilities".
Distribution (run
cat /etc/os-release): Pop!_OS 20.04Related Application and/or Package Version (run
apt policy $PACKAGE NAME): gnome-shell (gnome-shell-extension-prefs)Issue/Bug Description: With GNOME 3.36, gnome-shell-extension-prefs(org.gnome.Extensions.desktop) is a graphical program that is included with GNOME Shell to help manage GNOME Shell extensions. This program should probably be stored in one of the app folders, either "System" or "Utilities".