@whitequark okay i’m not 100% sure on this, but: copy had a really poor support for copying from floppy to floppy on a single-drive system. You’d need to swap the floppies for each file, if not multiple times per file?
… maybe that’s what this was trying to fix? i’m just mumbling tho