Ah thanks. That’s what I thought. MicroSD cards are cheap enough and I boot to Windows once in a blue moon. Rather do that than adjust my partitions to give Windows a home on my device. It remains banished to the MicroSD.