After exiting native REPL anyway, they should be able to trigger new REPL instance with shift+enter or via context menu