The debian menu is built from menu-xdg, reassigning. Maybe you need to run update-menus to update it?
The debian menu is built from menu-xdg, reassigning. Maybe you need to run update-menus to update it?