Update docs to show how to open the repl.