Laatste fixes voor het context menu/bookmarks menu van de command overlay
Merge origin/master