“The name=* tag can still include both names in order to support different tools.”

Moreover, “two distinct official names” is literally a case of “multiple values of the same key” (name), so I don’t understand your objection there.

Looking again on the page it seems that / was an acceptable separator for this situation, so while this edit may have technically been unnecessary, it also does not appear to be objectionable.