↗Rocky1937/gnome-shell-extension-updaterUpdate extensions installed from https://extensions.gnome.org