What does puncturing in cryptography mean

While I was reading the documentation for the cryptocode $\LaTeX$ package I stumbled across the "primitive" called puncturing in subsection 2.12. This was the first time I read about this "primitive". Additionally, I am no native speaker, which is why I have no intuition about what it could mean. Can someone explain it to me on a basic level?

Other than kodlu's answer, there exists another meaning of the term - potentially more specific to Cryptography rather than coding theory: That of a 'punctured' PRF. This describes a PRF $F : K \times X \rightarrow Y$, with two keys $k, k_\hat{x} \in K$. The main key $k$ allows evaluating the PRF at any point $x \in X$, while $k_\hat{x}$ allows to evaluate it at all points except a specific $\hat{x} \in X$.

There also exists generalizations of this, called 'constrained' PRFs. In a constrained PRF we are able to generate secondary keys with more generic constraints about which points of the PRF they can evaluate.

Similarly, the term 'puncturing' is then also used to refer to e.g. KEMs or encryption schemes with the same property of certain 'points' being unable to be processed with certain keys.

For some more details, check out e.g. the introductory section of this paper by Boneh, Kim and Montgomery.

There are these fantastic coding theory notes online by Jon Hall at MSU. Here is the link to Chapter 6 on modifying codes.

For a linear code $k$ is the rate (number of data bits, if binary) and $n$ is the codeword length. This means $r=n-k$ is the redundancy (number of parity check bits, if binary)

In puncturing a code you delete one coordinate but leave $k$ unchanged. This means that you still have the same number of data bits but decrease the number of parity checks. This may or may not reduce the minimum distance of the code.

See also Wikipedia which describes it in the communications context.