Is "IFC 4.3" officially a change in the naming schema?

According to the list of all IFC versions (see ifc schema specifications) from version up to version “IFC” and the proceding short-version were written without a delimiting space: IFC2x3, IFC4, IFC4.2.
Version now is written as IFC 4.3 (with a space in between).

You may believe this question petty, but it makes a huge difference in search results for probably a good number of databases whether the search term is “IFC4” or “IFC 4”. Here in the forum it’s the difference between 50+ and 92 results.

I think the only leading document for the release name is the express file in
It starts with this line:

But I understand that searching free text is something else.