I tried to account for a difference in terminology. To me polishing refers to an aesthetic value. True, polishing metal removes material as well but the intent is different. polishing is to create clarity/ sharpening is an attempt to create nothing. - the zero edge

Of course we are talking micrometers, however, imho a reduction of 1/2 and greater is substantial no matter the subject.

I guess you could say I'm splitting hairs, but isn't that the point.