GNOME-shell se dote d'un répertoire d'extensions:
https://extensions.gnome.org/
L'installation se fait en un clic et est d'une simplicité déconcertante. Bien entendu, cela est également très dangereux: je n'ai vu aucune sécurité, signature, avertissement.
C'est encore assez peu fourni. Personnellement, j'attends avec impatience une extension qui permet d'afficher le workspace switcher si on tape avec la souris sur le côté droit de l'écran, même si on n'est pas en mode Activité. (j'ai essayé de le coder mais le JS, c'est pas mon (…)