@MartyFouts @stefan I’m not surprised to find clothing/fabric related metaphors with punch cards. They were originally used in Jacquard looms to define patterns. So it’s natural to call a small repair using a bit of replacement material a “patch”.