Note that you can still edit GNOME menus by hand if you want.
They really dropped the ball on this issue ::/