Bind F11 to a more useful version of "switch to REPL buffer"

- The old one would pick a random window. This one uses the window you're in.