Clarify that this gives you a Python REPL.
Use JSON instead of pickle.