Config dump: GNOME 3.8 stuff