The keybindings

Ctrl-F / Cmd-F : Start searching Ctrl-G / Cmd-G : Find next Shift-Ctrl-G / Shift-Cmd-G : Find previous Shift-Ctrl-F / Cmd-Option-F : Replace Shift-Ctrl-R / Shift-Cmd-Option-F : Replace all

Special thanks to CodeMirror.