Yes grumpy, I agree with you there, and I believe that chalk can help with pinning.
Just for reference, pinning refers to the clogging of the file teeth with pins, which are material shavings. These pins cause the file to lose its cutting ability and can scratch the workpiece. A file card, which is a brush with metal bristles, is used to clean the file.
