Oh! When I went to format, the only options were NTFS and exFAT, so I didn't realize. A quick search just now tells me that I should be able to do it in FAT32 with the Disk Management tool or even third-party software if it comes to that, so I'll reformat and then copy the files back again...