Add some documentation about the REPL history