Quickly search the web/desktop and launch applications using this search box.
Bookmark manager for Safari, Explorer, OmniWeb...
Adds a simple search box to limit the search to the desired GitHub wiki page.