That’s pretty close to my process, though lately I take shortcuts to do it faster by using a small bench grinder.
I snip off most of the nub with side cutters, then mask off the area with electrical tape, stretching it over the pivot area to avoid metal shavings getting in. Then I use the bench grinder to remove the remaining 99%+ of material. Then finish with some needle files to smooth everything out.
I used to use just the needle files instead of the grinder, but it does take a long time. And since these are all users for me, the risk of nicking the scales a bit isn’t a bother for me.