Problem: There are a few desktop entries that I do not want to be shown in the menu.
Solution: I used to just delete them from
/usr/share/applications, but apparently there was a smarter way. Just open the
.desktop file, e.g.
/usr/share/applications/CMake.desktop and add the following:
Save and it should disappear from the menu.