Filter away all commands that end with ':'
Added group headings to search result list
Improved sorting + removal of redundant text/info
Cosmetic changes on search results
Merge pull request #736 from typesafehub/wip/h3nk3-search-box

Wip/h3nk3 search box