Setting up Linux Desktop IDE correctly for ESP32

I think so. I am not aware of any incompatibilities people have experienced with the ESP32 platform and Windows 10, and that is definitely the sort of thing we would hear a lot about here on the forum!