Please give me the link to download the gnome-shell integration plugin which will allow me to subsequently install gnome-shell extensions via the web browser.
I just want the link to the plugin,
I do not want to do apt-get dist-upgrade
or reinstall gnome.
The link to the plugin itself, should be available for all users to install.
I can't find the link on google or in the plugin/addon section.