https://thehabitofwoodworking.com/2023/can-you-sharpen-a-chisel-with-a-file/