https://juanstechblog.blogspot.com/2021/09/arduino-ide-configuration-for-esp8266.html