Ja, komisch. Erwarten würde man, dass alle Dateigrößen gleich sind. Aber auch je nachdem, wo man schaut, ist das Update ja schon unterschiedlich groß. Bei mir:
- 7,48 GB - Eigenschaften der SD-Karte im Datei Explorer (Windows 10)
- 7606 MB - laut linker Seite in der Toolbox
- 7646 MB - laut oben verlinkter russischer Website
...aber solange die SD-Karte funktioniert und in der Toolbox angezeigt wird, dass Du die neusten Karten hast, würde ich mir da keine Sorgen um die paar MB Größenunterschied machen.