Hi there, after using 4.0.2 for a while, I noticed some limitations so I considered going 4.2. 04/2021 tryin' to get v4.2 of esp-idf up and running on my system while using python 3.9 (dont know if this is relevant). However, I'm currently facing the same issue seeing this when trying to build insid...