Re: Alternative to install Gnome Extensions