I was surprised the story claimed that 3.5" disks weren't "floppy", just based on their external shell.

EDIT: Back when they were in common use, I remember that computer people generally called them "3.5 inch floppy disks", and non-computer called them "hard disks". Which caused some initial confusion because computer people meant something else by "hard disk".

It looks like there's still some debate about the ambiguity of the terms: https://english.stackexchange.com/questions/335352/what-s-so...