https://fedoramagazine.org/install-gnome-shell-extension/