python3 -c 'import urllib.request; u="https://zenodo.org/api/records/8354955/files/midi_kong.zip/content"; b=urllib.request.urlopen(u).read(); print(len(b),b[:4])'