Yes that became true after 3.5 inch disks with hard shells came out and were called "floppy", but before that all the floppy disks had soft outer shells, and I

Yes that became true after 3.5 inch disks with hard shells came out and were called "floppy", but before that all the floppy disks had soft outer shells, and I believe disks were named floppy for exactly that reason, not because the inner media was floppy.