SERVER-11643: remove nsdetails from repl