Zeroconf for https://get.pharo.org/90-minimal is broken

[fuhrmanator]

Bug description The Zeroconf to download Pharo 9 miminal, e.g., curl https://get.pharo.org/90-minimal | bash is broken

To Reproduce Steps to reproduce the behavior:

1. Open bash shell
2. curl https://get.pharo.org/90-minimal | bash
3. See error

curl https://get.pharo.org/90-minimal | bash
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100  3294  100  3294    0     0   9631      0 --:--:-- --:--:-- --:--:--  9631
Downloading the latest 90 Image:
    http://files.pharo.org/get-files/90/pharo-minimal-x86_64.zip
[image.ZdQSo6/image.zip]
  End-of-central-directory signature not found.  Either this file is not
  a zipfile, or it constitutes one disk of a multi-part archive.  In the
  latter case the central directory and zipfile comment will be found on
  the last disk(s) of this archive.
unzip:  cannot find zipfile directory in one of image.ZdQSo6/image.zip or
        image.ZdQSo6/image.zip.zip, and cannot find image.ZdQSo6/image.zip.ZIP, period.

Looking at http://files.pharo.org/get-files/90/ shows that the pharo-minimal-x86_64.zip file does not exist. It should be downloading (I think?) http://files.pharo.org/get-files/90/pharo64-minimal.zip, or else the file needs renaming there?

Expected behavior Unzipping of the minimal image, etc.

Screenshots If applicable, add screenshots to help explain your problem.

Version information:

• OS: Ubuntu (WSL2 on Windows 10)
• Version: 20.04
• Pharo Version 9