I want to make you a technical question.
I'm using this board and in the past I needed to use the Hardware Serial 1 ports, and I succeded in finding them on the datasheet.
Now I need the UART2 ports but as you can see from the picture attached U2RXD is corresponding to PIN 13 on the board but U2TXD is corresponding to SD2, and I don't know how or whether I can access it.
This is from ESP32 Datasheet
This is the corresponding D32 pro Schematics