Here's a tutorial showing how to repair an out-of-date Plasma desktop menu, including overview of the problem, manual refresh, malformed entries, system menu restore, keyboard shortcuts, Plasma shell restart, some other tips and tricks, and more. Enjoy. https://www.dedoimedo.com/computers/plasma-menu-update.html Cheers, Mrk
