Some documentation regarding the REPL