gnome-extensions To store patched Gnome extensions to work with latest version (currently 46). Go to Releases & download ---> Install with gnome-extensions install -f [extensionname].zip