Shrinking and repartitioning my microSD card with gparted under Linux... .