shortcutkey.js: cleanup
shortcutkey.js: Add incremental search (started by "/" key)