Hello everyone, I am new to the ESP32 family. I recently picked up an 8266 to try a few projects that I intend to use in the classroom to help some students learn more about coding etc. I am using Arduino IDE, but cannot install the 8266 boards from Board Manager. I have atached the screenshot of th...