As an afterthought, pretty good knives can made from wrought iron if properly forged and edge packed, so I wonder if there was an appreciable advantage to using a relatively expensive worn file to make a relatively inexpensive knife.
I dunno, just thinking...typing out loud, so to speak.
Until you sharpen the iron knife a few times then its really not a knife anymore, just irritant.
Dan
