Tweak prompting for REPL connection