Downloading esp32 3.3.5 fails

I am running IDE 2.3.7 on Linux and had the same issue last night and this morning. As has been noted, the ESP32 package is a particularly large download and perhaps something that Esspressif needs to address. In the meantime, the solution detailed by @ptillisch worked for me also on Linux.
Thank you.