Jak prawidłowo pobrać nową wersję NodeMCU dla ESP32 ?

Pojawiła się nowa wersja NodeMCU https://nodemcu.readthedocs.io/en/dev-esp32-idf4/build/
Próbowałem ją pobać postępując zgodnie z opisem na podanej stronie. Jedak to fizycznie znalazło się na dysku to starsza wersja dla IDF3 a powinno być https://github.com/nodemcu/nodemcu-firmware/tree/dev-esp32-idf4
Nie wiem co jest tego przyczyną.

Witam,
może przyczyną jest pobranie dev-esp32 zamiast dev-esp32-idf4? Zrób clone dev-esp32-idf4 albo w katalogu z pobranymi źródłami "git checkout dev-esp32-idf4".

Pozdrawiam.

Też mi przyszedł do głowy ten pomysł i rozwiązało to problem.