> Because the strain was first discovered in Wuhan, China, it is sometimes referred to informally as the Wuhan coronavirus

I would suggestion you to look at the sources linked after that statement in the Wikipedia article.

Colloquial names are not designated, they form naturally by people. The location of the origin of the virus is a natural place to start.

Yes they now have an official name for the virus, as they do other famous viruses that don't go by their official name by the general public.