@PolGZ’s method still works as of 11 Nov 2020, tested on a Raspberry Pi 400 desktop, with the caveat that I had to retrieve the files from the following addresses:
@PolGZ’s method still works as of 11 Nov 2020, tested on a Raspberry Pi 400 desktop, with the caveat that I had to retrieve the files from the following addresses: