Merge branch 'bookmark-quicksearch' into master
ADDED: bookmark quick search (type symbols in bookmark menu to activate)
This is the final code review for the bookmark quick search feature that
Rade, Martin and myself have been working on recently.