No, I didn’t realise that, and it would never have occurred to me.
When you say steel do you mean a carbide steel, a thing that looks a little like a fire poker with fine ridges? Or a carbide edge such as that found in a rubbish knife sharpener that tears off swarf? Either of these will wreck profiles and reshape the blade over time. Butchers sharpen softish steel regularly,, just a few sweeps of the blade.That is not sharp, but the tiny serrations created in the blade by the crude method is perfect for cutting flesh. It’s no good for anything that requires finesse, or for knives that cost much more than a butchers knife and have a well calculated bevel angle to give optimum performance. Unless I’ve misunderstood what you mean by finishing with a steel, I don’t get it.
In many years of being involved with all aspects of knives, steel types, bevels, sharpening techniques, I have never heard of finishing with a butchers steel, except in the case of the crude edge put on a kukri with a chakmak. A good edge, hair shaving sharp is best maintained with a strop and compound. When the bevels need correcting this is done with stones, diamond hones, sandpaper, filing jigs, Sharpmakers, Lanskys, EdgePros, or Tormaks. Not with a metal file. Metal files are for mower blade type sharpening, removing steel to get back to an even edge after abuse.