File-down Definition

verb

To reduc the size of something by filing (using the abrasive effects of a file).

Wiktionary