I haven't heard this term, either. I've always heard 5.25" floppies referred to as "diskettes", because they were a smaller diminutive version of 8" disks.