Remove legacy repl (nobody uses it).