♻ @postblue: Lancement de https://extensions.gnome.org ! #gnome Là, ça devient sérieux, et super sympa ! Par contre, comment fonctionnent les mises à jour ?