Sharpening-tool repair