I had recalled seeing the file before, or at least a version of it. 'Holland and Holland Factory Craftsmanship', an 18:52 length video on the tube shows it at around 9:15? That particular file looks to cut on all surfaces, maybe more for finishing than roughing.

I wouldn't think it's an off the shelf tool, but who knows? A quick picture of the cutting surface that's in use might be helpful as it may differ some from the showing side. Anyone have thoughts on creating fine file flutes?