IfcMechanicalFastenerType deprecated attributes or not?

[evandroAlfieri]

In IFC 4 official documentation for IfcMechanicalFastener, both NominalDiameter and NominalLength attributes are deprecated with a note saying just

Deprecated in IFC4

In IFC4.3 official documentation for IfcMechanicalFastener the notes for those 2 attributes are changed to

IFC4-CHANGE Deprecated; the respective attribute of IfcMechanicalFastenerType should be used instead.

However, in IFC4 official documentation for IfcMechanicalFastenerType 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

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