5,25 Floppy Disk Notcher mount

This is a holder used to punch holes in 5.25-inch floppy disks so they can be used double-sided. It works with, for example, the following punch tool (square):https://amzn.to/4bVDku3