Pulling a cable up, cutting a damaged part out of it and putting a new piece in is done all the time to fix damaged cables.
Pulling a cable up, cutting a damaged part out of it and putting a new piece in is done all the time to fix damaged cables.