remove deprecated repl_show