https://extensions.gnome.org/ is nu in public alpha, dit is een officiele site van GNOME, waarmee je via je browser extensies kan installeren voor Gnome-shell. (je hebt alleen een extensie voor je browser nodig)
Het schijnt nu alleen nog in Firefox te werken.
Ik las het toevallig op
omgubuntu.
