IEC 61672 and doc updates to ISO 25417