Simple menu editor for Gnome WWW: http://manny.cluecoder.org/packages/gnome-menu-editor/