Correct, I just updated it. We never said they were drilled. We said cut. Punching is a form of cutting. Scissors cut. They are shears. Just like a punch.
Really.
There's really no value in getting into a battle of semantics. But yes, punches cut the material they are used on. They have provided a better descriptor now, and that's all that matters.