IfcMechanicalFastenerType deprecated attributes or not?

In IFC 4 official documentation for [IfcMechanicalFastener](https://standards.buildingsmart.org/IFC/RELEASE/IFC4/ADD2_TC1/HTML/schema/ifcsharedcomponentelements/lexical/ifcmechanicalfastener.htm), both `NominalDiameter` and `NominalLength` attributes are deprecated with a note saying just
> _Deprecated in IFC4_

In IFC4.3 official documentation for [IfcMechanicalFastener](https://ifc43-docs.standards.buildingsmart.org/IFC/RELEASE/IFC4x3/HTML/lexical/IfcMechanicalFastener.htm) the notes for those 2 attributes are changed to
> _IFC4-CHANGE Deprecated; the respective attribute of [IfcMechanicalFastenerType](https://ifc43-docs.standards.buildingsmart.org/IFC/RELEASE/IFC4x3/HTML/lexical/IfcMechanicalFastenerType.htm) should be used instead._

**However**, in IFC4 official documentation for [IfcMechanicalFastenerType](https://standards.buildingsmart.org/IFC/RELEASE/IFC4/ADD2_TC1/HTML/schema/ifcsharedcomponentelements/lexical/ifcmechanicalfastenertype.htm) the same two attributes are marked as _deprecated_ in the entity's change-log **but without** any note in the attributes table (see figures below). IFC4.3 documentation for [IfcMechanicalFastenerType](https://ifc43-docs.standards.buildingsmart.org/IFC/RELEASE/IFC4x3/HTML/lexical/IfcMechanicalFastenerType.htm)

So, the main question is:

- are `NominalDiameter` and `NominalLength` attributes for _IfcMechanicalFastenerType_ deprecated by IFC4?
- if no, then no issue. IFC4 docs has a mistake, but IFC4.3 is correct. I'll close this issue
- if yes, then IFC4 docs has a mistake, but IFC4.3 requires fixes. The issue in this repo stands

Anyone with a clue which of the two is it? @TLiebich @aothms