Improved REPL doc [ci skip]