Wow, I do remember this bit of nostaligia (notching floppy disks to create double density disks)! I don’t think I actually owned one, and I think I actually came into the computer world a little bit later than it was needed. I definately remember having to decide which to buy. I remember having to decide between pre-formatted disks and non-formatted disks. Back in the day it was worth it. Course, these days who has a disk drive, much less remember what floppy disks are? Heck, anyone even have any 5¼” disks?