...... Never heard of sharpening ski edges....
True.
If you are an occasional skier who hires skis every time - Like most of us - You would never sharpen your skiis.
However ski bottoms can get pretty beaten up - especially if they are skied over rocks.
So when the skiis go back to the hire place at the end of the week, they are serviced.
The hire company goes thro a restoration process - Which uses a kind of hot iron on the ski undersides which smooths off the plastic bottoms
They also sharpen/smooth off the rough metal edges of the skiis with a ....... metal file !!
Then of course the ski wax.
If you had your own skiis you would also do this sort of thing!
Anyway my skiing days were also way in the past - So ski maintenance approach and technology could have changed - But this is what used to happen !