Hi @anon39957957. I apologize for any inconvenience this bug has caused.
I'm not sure I understand your question. You can upload sketches from Arduino IDE to an ESP32 board. Did you try it, following the instructions I provided in post #7?
Note that the workaround described by @thornemann in post #8 is an alternative workaround. You can use the one I provided if you want to use Arduino IDE, or the one @thornemann provided if you don't want to use Arduino IDE.