I think I'd now prefer the REPL to open at start