Tool to maintain user profiles in a GNOME desktop