Why is the board manager [http://arduino.esp8266.com/stable/package_esp8266com_index.json](url) not in https like ESP32 [https://dl.espressif.com/dl/package_esp32_index.json](url) ? I cannot load ESP8266 in our work office, thus I need to hotspot my mobile to connect and download everytime the json file.