Better interface to bash's (and other shell) CTRL+R for reverse-search-history - View it on GitHub