You were right, there were stray .desktop files in .local/share/applications.
I wonder: Why didn't PCMan find them when I searched? (I did a search for .desktop files in / and checked the box for hidden files)
In any case, after the reboot, the menu entries are now gone.
Thank you, not only for your help, but for your quick reply.