For the record, since there is still no way to easily blacklist Debian entries, I’ve uploaded a new gnome-menus package which hardcodes discarding of anything belonging to menu-xdg.
Of course this doesn’t help users of other desktop environments, but hopefully for GNOME the Debian menu won’t ever be a problem anymore. Adios, -- .''`. Josselin Mouette : :' : `. `' `- -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org