Repl manager API enhancements.