Craftelier 11-hole mushroom punch depth stop A4/A5

The Craftelier 11-hole mushroom punch, to cut holes in paper for disc bound notebooks, comes without any depth-stops or guides. Using the lines drawn on the punch for A4 paper causes the edges of punched paper to not align with the common hole alignment of disc bound notebooks like Atoma and other brands.
 

So I designed 2 depth stops, one for A4 paper and one for A5 paper, that magnetically slots onto the punch and causes the edges and holes of the punched sheets to perfectly align with those of common disc bound notebooks.
 

The .stl files are already oriented in the suggested print orientation, you just need to add buildplate-only supports. There is a hole for a strong 9mm diameter, 4mm tall circular magnet. The tolerances on the hole are quite large, gluing the magnet in is advised.