It would seem that menu editing (add, delete, properties) is possible with Gnome 2.8 but that the Fedora folks have it turned off. Any idea how to turn menu editing back on? Thanks!