Beste utvidelser til Gnome Shell

Etter et års tid har jeg virkelig begynt å like Gnome Shell. Allikevel er det et par ting jeg savner. Mye av dette kan løses med utvidelser. Endre hvor system varslinger dukker opp. https://extensions.gnome.org/extension/708/panel-osd/ Få status ikonene som ikke er tilpasser gnome opp sammen…