IDE 2.3.7 now gives Error: 4 DEADLINE_EXCEEDED:

Hi @Sonicboom The installation of the "esp32" boards platform failed due to timeout occurred during the download. The duration of the timeout that causes Arduino IDE to cancel a download is configurable. You should be able to work around this problem by configuring a higher timeout value. I'll pro…