Switching ESP32 IDF-Version

Thanks for the Hint.
I’ll try this …

It is a pity that it is not possible with platformIO.