In article ,
Dave Plowman wrote:

In article ,
MiNE 109 wrote:
Heh heh. 'Punching in' is what you do to pick up after a mistake.
Overdubbing replaces the original section completely.

Not around here. One punches in a short segment, a phrase, even just a
note or two to replace a mistake.

Explain the difference between that and overdubbing, then?

Duration. Also, if you would so good as to recall the definition I
supplied a few posts back, overdubbing can mean recording an entirely
new track, hence the synonym, "tracking".

Terminology could be different in the UK.

It often is.

Best to table the matter, right?