file down

Short definition from Wiktionary

Verb

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

We haven’t written up file down yet: Simple and Standard meanings, examples and a quiz.