
Originally Posted by
ged
Tools get damaged. No big deal. They can almost always be repaired. Then the tool will look like it's been used.

It's all good experience.
This is always going to be a problem with hard materials. I'd just sharpen it out. My wife quite often takes big chunks out of her machete on rocks and bits of steel she finds with it in the garden. It might be hard work using hand tools but it's feasible. I'd probably use power tools for more than tiny chips but you need to be very careful not to overheat the edge with power tools. Best get a professional to do it if you've any concerns. I wouldn't be surprised if the manufacturer would do it for you for free, but you might not want another one of their edges.
When it's sharpened back how you want it, try using a steel to toughen it up a bit. And as Mick says, don't use an edge like that for cutting bone. You need something a lot tougher with something approaching a 90 degree included angle at the very edge. That would be my camping knife or the part of a parang sharpened for toughness, for chopping.
That sounds like good advice to me!
Love makes the World go round......Lust makes it all go pear-shaped...