What the hell does it have to do with musk? If a corporation changes its name, journalists usually use the new name. Especially for big corporations. Do you want them to not use the new (very stupid) name, just to... own the musk?
Companies usually do the name change correctly.. This is more like the artist who should always have been referred to as Prince. Telling people about the other name isn't an updated reference it is a lost reference.
