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 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.

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.