Lol..nah, it was definitely being pedantic. Everyone is calling it Coronavirus, calling it COVID-19 are just trying to look clever..lol
Being pedantic, it's not the virus code, it's the disease name. It can be common to use the disease name, such as chicken pox, rather than the virus name and having /carrying the virus doesn't necessarily mean you have the disease /are symptomatic, so they are perfectly valid to use it. However, in other cases virus name and disease name are used interchangeably by the public, such as HIV/AIDS, or even Influenza /flu to be one and the same.
Thanks heading to Paris on Monday this will come in handy!