I got the task to clean up an old Modelica library and make it compatible to Dymola 2025xR1 pedantic check. Dymola complains about this line of code:

final parameter Integer iChk=16 annotation(Hide=true);

with error message the annotation 'Hide' is not standardized

I tried to find why it was introduced and what it was supposed to do, but as it was never part of the language specification, I failed to find good information. Can it be replaced with HideResult=true? In the Modelica standard library I found commits where it was just removed, not replaced with something else.