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

Developers
1

According to the list of all IFC versions (see ifc schema specifications) from version 2.0.0.0 up to version 4.2.0.0 “IFC” and the proceding short-version were written without a delimiting space: IFC2x3, IFC4, IFC4.2.
Version 4.3.0.0 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.

2

I think the only leading document for the release name is the express file in standards.buildingsmart.org/IFC/RELEASE/IFC4_3/HTML/IFC4X3_ADD2.exp
It starts with this line:
SCHEMA IFC4X3_ADD2;

But I understand that searching free text is something else.

3

So, I wrote an email to technical and received the reply, that a decision had been made to write the version with a space separating IFC and the number. And now it has been corrected for all versions in the IFC schema specification overview. Thanks to Léon.