Gnome: How to safely edit the menu
I've done a nice search all over the place (more or less).
I came across a neat little trick involving changing the contents of a certain file, but didn't work:
as soon as my session was left, logging in again would show that no changes had been applied.
My Debian menu is really a mess, with empty entries and overcrowded categories.
Is there really no way to permanently edit the Gnome menu?