Hi
I once read that a beaten up file will cut a biiit better if you let it rust .
The idea is most likely the same, reduce the burnishing that years of filing will haven given to the teeth and make the surface uneven so it abrades the workpiece better.
Hmm, its sad. We had a nice movie like 10 years ago when i was a boy.
It was a series on old and waning trades.
There was a job called a "Feilenhauer" , that would be a "file-beater"..or to be less litteral "file-carver, or graver" .
These guys annealed old files, used a special type of small planer to remove the teeth.
Then either a machine with a reciprocating chisel and automatic feed (for standard tipe files) or chisel,hammer and lots of experience were used to make new teeth. ( Hand work being used for special types of files)
Then harden after heating in a layer of a carburizing sludge made from flour,coal,water etc.
He was one of the last or the last of his trade.
Think he lived in ex eastern Germany , there communism had kept this trade alive for quite a while because old files were considered too valuable for scrap well into our age.
Well....i guess i have now met a capitalist who would appreciate the service of that old , dusty and venerable shop.