A possible patch to apply to gnome-shell-extensions in extra-testing?