Habe grad nochmal nachgesehen:
Beim ersten Update wurden bei mir lediglich 3 Zip Dateien heruntergeladen und installiert.
Beim erneuten Update - ohne vorher den Ordner zu löschen/umzubenennen- wird kein neuer Download gestartet, sondern auf den vorhandenen Ordner zugegriffen.
Beim zweiten Download habe ich nun 11 Zip Dateien.
Vermutlich fehlen noch zwei (s. o.).
Gruß
Thomas