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:
NoDisplay=true
Save and it should disappear from the menu.
