debian/gnome-shell-extension-prefs-Give-Debian-specific-advice.patch
extensions-Allow-updating-with-only-extension-manager-ins.patch
