My biggest gripe about the default GNOME settings