chiark / gitweb /
belt-hole-cut-jig-simple: smaller punch looks good