Utilities to configure the GNOME desktop