Can I retire my disk doubling tool? (Score 1)

Does this mean I can finally throw out my disk doubling tool? Of course, I'm talking about the hole punch I used to notch my single sided 5.25 diskettes to make them "double sided"...