I am able to program the ESP32C3Mini1 module with native USB (no CP2102 or FTDI UBS-to-UART tranceiver) which is really cool. I notice that pins GPIO0 and GPIO1 have an alternate function for a 32kHz crystal; does that mean the ESP32C3Mini1 has an RTC but this is just not active in the Arduino core?...