Update hotkeys.md

created a new section specifically for dealing with the repl.