How big a torsion bar nick is ok?

At the exhaust shop today, I noticed a tiny nick in my new 1.03 bar where a grease nipple has been rubbing against it. The nick seems not much deeper than the thickness of the powder coating, but there it is.

That’s nothing. For reference, see #2 under ‘Inspection’ from the factory service manual...

717D1AA4-E937-4736-A398-949CF0190948.png