Maybe it would be more natural to add gnome-menus to gnome3?