finished new REPL doc