My favourite GNOME Shell Extensions October 28, 2019 Miscellaneous GNOME Shell is great, but this extensions make the experience even more pleasant.