That is unnecessary because the renaming of BITCOIN is just a formality, and sometimes it is done by many people.