RE: https://hachyderm.io/@thomasfuchs/115602153224142336
To further set my replies on fire, "disk" is not short for "diskette" (diskette is a diminutive and means "small disk").
Diskettes first showed up in 8" size, which may not seem particularly small but hard disks at the time were larger, often 14 inches (more than 3× the surface area of 8").
The 5¼" diskettes that followed were introduced as "mini-diskettes", or "small small disks".
3½" diskettes were "micro-diskettes", or "very small small disks".