Yes, I understand what you mean. I see that the first three .hex fils are new (otherwise I wouldn’t have made the upgrade) but I don’t understand why the last three files are dated June 2018 (ver. 1.25) instead of March 2019 (ver. 1.23) ?!
But apart this particular issue, I’d like to receive an answer to my original question.