Thanks for the link.
I guess the question is not very good. The naming of the disease is not the name of the virus. The WHO site you linked is all post-outbreak, so the disease and virus name(s) are all after-the-fact, and based on whatever came OUT of Wuhan, not whatever might have gone into it.
If the virus was being grown in a lab somewhere, even in Wuhan, I suppose I wouldn’t expect WHO to know about it.