3.5" were "micro" floppies. 5 1/4" were "mini". Anyone else ever worked with the original 8" floppies?
(Yeah, I'm old. My first "real" job in high school was working at Woofer (Woofer) and Tweeter (ᵀʷᵉᵉᵗᵉʳ) selling and supporting computers. 8" discs were mostly done even by then. And, yeah, I'm a lifer...)
-jk