https://developer.espressif.com/blog/espressif-ide/espressif-ide-3-1-0-release/