A configuration database system for GNOME