[Pharo-dev] State of files.pharo.org

I'm trying to download images from files.pharo.org <http://files.pharo.org/>. Either it takes a lot of time or get something like Downloading the latest 70 Image: http://files.pharo.org/get-files/70/pharo.zip error: invalid compressed data to inflate image.7vLfZK/Pharo7.0-32bit-6bff78c.image image.7vLfZK/Pharo7.0-32bit-6bff78c.sources bad CRC 724d27ab (should be f4d1baa8) That is really sad. What use is this wonderful environment if nobody can download it? We need to sort that out. So is this hosted in Inria data center? Norbert