Gnome-shell-extension-pixelsaver Download for Linux (deb, all)