I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.