remove out-of-date reference to repl
remove out-of-date standalone repl