Update run-server-from-repl instructions.