f4bf96cbbc
Now that we include a more public version of the script, there is no reason to keep the original script just for CI. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/408>