tl;dr: They pull the damaged cable up, weld it to a new section of cable their brought, and then drop the cable with a detour to make room for the extra length.

(This is a really meandering article!)