RE: jump to/from REPL: I like option #3. If multiple REPL's running the "jump to REPL" should cycle through them (in order of last use, if possible). Also, a single "load current file in repl + switch to ns" might be nice instead of two separate actions.