Temporary directory before the release of Arduino ESP32 with the library version - View it on GitHub