Implementation of the desktop menu specification for GNOME
