Trying to follow the learn guide setup instructions for the Arduino IDE setup for the ESP32 V2. Having trouble installing the ESP32 Board Support Package from GitHub. Following the instructions given in the link under 'Install ESP32 Board Support Package from GitHub'. I've installed git and am trying to run GitGui with the provided information filled in. However, it keeps stopping the clone with an error saying that named target directory already exists. I'm providing exactly what it says in the link: for me -- C:/Users/clyon/Documents/Arduino/hardware/espressif/esp32. Yes, that folder exists but it seems like it will exist for everyone. Am I supposed to remove the folder before running this? Appreciate any help.
Another related question. Can I program this using PlatformIO instead of the vanilla Arduino IDE? If so, what needs to be done to allow that?