Ok, so I need to implement my own pull-up/pull-down as shown in the 2nd link if I want to use those pins. Thanks for your help!

I actually had done the configuration, but it turned out there was a bug in the extension. The extension recently updated to 1.1.1 with the bug fix "Fixed setup on windows" and now it works perfectly.

My esp32 is supposed to wake up at a certain time. It calculates the number of microseconds for esp_sleep_enable_timer_wakeup() by getting the current time from NTP and calculating the difference between now and the desired wakeup time. I turned in on around 10:30pm and set it to wake up at 8:30am. ...

On ESP32 the last GPIO pins are input-only and it says they have no software pullup or pulldown resistors. Can I still use them to connect to pushbuttons in the way that is described at https://www.instructables.com/Arduino-Button-with-no-resistor/ (That is, without any external resistor, connecting...

I just downloaded the ESP extension but none of the commands have been working (aside from the "configure extension" command). They all have an error saying the idf.py file is not found. I checked the value of ${env:IDF_PATH}, ${env:ADF_PATH}, and ${env:MDF_PATH} by creating an echo task for each of...