In watchfile debian/watch, reading webpage https://get.progress-linux.org/packages/gnome-shell-extensions-extra/upstream/ failed: 404 Not Found
Among the 3 debian patches available in version 20250312-1 of the package, we noticed the following issues: