I am also here posting in the hopes that I will be able to ask my beginner question soon 
I have selected the XIAO ESP32S3 for a project and just need to know if I can use serial over USB, and also use the pins labeled Tx and Rx for GPIO at the same time.
The getting started page is helpful, but not clear on this detail.