thanks for the explanation.
I went more than once on the download page, but I never tried to re-download since the version was 1.2.3.
I was almost sure any other version would get a new version number.
Is there a way to know when an extension has been updated? Should I check the release date?