Weren’t they ever bigger than that? I have a vague recollection that it was some sort of 8” oddball format. Maybe even a one-off?
I guess even if IBM didn't put it on the PC, everybody would migrate into 5 1/4" disks on almost the same timeline. Those changes were very compelling back then.
> The Defense Department has transitioned away from a 1970s-era nuclear command and control system that relied on eight-inch floppy disks.