Clean up REPL docs.
Reusing the same REPL; fixes #184.