Document new REPL-support functionality.