On: Floppy Disk Museum on a Bootable Floppy serving from a 286 PC

[einr]

Similarly 3.5" disks were formally called "micro floppy disks" and often used to often be called that on packaging though, so it all makes sense: minicomputer/microcomputer <-> mini floppy/micro floppy ;)

https://i.ebayimg.com/images/g/ymoAAOSwo8Zizjse/s-l1600.jpg