commenting gnome settings