So no one would call what I described in #35 (light gummi work) de-tuning?
I think many would, although not necessarily correctly. I think many folks definition of detuning is pretty much any hand gummi work after the Wintersteiger. I think that begs the question though of where is the line of detuning or not for folks who always hand tune there skis? There is most certainly gummi work there as well.
After this discussion my definition of detuning is a deliberate effort to dull the ski edges. That’s not your intent when I read how you finish a tune. So in my mind what you describe is not detuning.