Micro SD connection on carrier boards

Hello, I am curious why the Data Logging and Machine Learning carrier boards have their micro SD connected to the SPI pins and not the SPI/SDIO pins, which appear to be dedicated to it. Am I missing something here? Thanks.

From a quick search of the various processor boards, I’ve noticed that the Artemis processor board uses those SPI/SDIO pins for programming. Since there needs to portability between all carrier boards and processor boards the engineer probably opted to not use these pins for the uSD card. There could be other reasons, but that’s the most obvious one to me.