Re: [Fedora-packaging] gnome-shell-extension[s]