Add and document the repl restart command.