Re: [Design-team] Gnome-shell extension that adds a Fedora logo