which had a small typo for the wrong zip-file which made the Arduino-IDE 1.8.19 trying to download the not accessible ZIP-file again instead of using the local copy stored on the harddisk
As this is corrected now just for historical reasons the original text as unfoldable details
[details = ]
and this workaround did
NOT WORK !
as documented in detail here
now documented how it works
[/details]
best regards Stefan