As part of work on the PicoADK V2 and initial CircuitPython support, I was wondering if SDIO support is coming? This works really well https://github.com/earlephilhower/arduino-pico/discussions/1560#discussioncomment-10681395