Gnome @discuss.tchncs.de petsoi @discuss.tchncs.de 2mo ago GitHub Tray as Gnome Extension extensions.gnome.org GitHub Tray - GNOME Shell Extensions