If you're having trouble compiling code for your ESP32 or ESP8266 boards using Arduino IDE due to an error downloading the boards' URLs, follow this guide to fix it.