问题：        使用arduinoIDE下载对应开发板时即使打开了代理还是无法访问github。错误信息如下：Failedtoinstallplatform:'esp32:esp32:2.0.16'.Error:2UNKNOWN:Get"https://github.com/espressif/arduino-esp32/releases/download/2.0.7/esptool-v4.5.1-wi