Add 'Search REPL history' shortcut.  Minor additional updates