Update modules/ROOT/pages/gnome-shell-extensions.adoc
    
    Removed reference to Gnome Software - extensions are now primarily installed and managed through extensions.gnome.org or the extensions-tool but not through Gnome Software anymore.