GNOME Applications menu question