@stefan
Punch Cards != Paper Tape.
Because paper tape is spliceable you can cut out an un-wanted section and patch in a replacement section which need not be the same length.
With punch cards you would just replace one or more cards. However some languages used sequence numbers on the cards (so a deck could be restored if dropped)(almost never worth the time) which made adding or removing cards problematic. Quickly there were tools to renumber programs so a "patch" could be inserted. And so the terminology migrated.