there is no need for a formal wp rm if all concerned party agree on the new name at this talk page