Reinstate REPL.