I needed to make holes in paper, but I didn’t have a hole punch here in the office.
So I found a model of a hole punch on Thingiverse and printed one for myself. It took 4 hours to print, and it looked like this when it was finished:
It created unsatisfyingly messy holes in paper–more like gashes than holes really:
The “spring” action, however, is very satisfying, and I will see if I can take some of the ideas from the typical metal hole punch and come up with a modified version that might create more hole-like holes.