Tweak various aspects of GNOME
