Your comments

I agree… ”Repair” would be a good name for it.