https://fedoramagazine.org/3-simple-and-useful-gnome-shell-extensions/
3 simple and useful GNOME Shell extensions