gnome-shell-extension-prefs.svg