@aral Isn’t the package name controlled by distributions? They could name it gnome-settings if they wanted to? 🙂