The following json file:
says I have 3.303. Is this the version of the ESP-IDF I have installed?
And, I have the following directory that I think is the idf, as added to platformio:
This directory appears to have the git files. Can I cd to framework-espidf and just use git pull to get the latest?