This means Serial will exist, and if USB CDC is enabled, will map over to the USB port. Update: Having found the schematic (see end of the post), actually I can see that USB is mapped onto 18,19 (indeed these are the USB D+/D- pins of the ESP32C3) which does leave 20,21 f...