Thanks, apparently “Small Mark” does what I want. I was misled by a previous discussion to believe that “Small Mark” wouldn’t show the holes as their actual size, so I didn’t choose that option.
It seems like the printing options could be clarified, so I filed a bug for this.