I bought this great device and like to use its TF-card. However, I can't figure out the pins of the ESP32 connected to this slot. I assume these are as usual SPI pins like MOSI, MISO, CS and CLK, but I can't find their numbers. Did I miss some documentation?