[Bug 239710] Gnome Main Menu Entries never emptied