Wio RP2040 Mini dev board - how to receive data from TCP socket in MicroPython

Regarding the wiring. The official Seeed documentation describes ONLY the external pins definition and wiring. My question refers to INTERNAL wiring - I mean the RP2040 to the ESP8255.
Frankly I managed to find the SPI wiring.

I wonder if the ESP8285 UART is connected to the RP2040. This part is interesting…