sort files properly

…by adding leading zeroes. If I write 100 of these, I’ll have to do it
again.

Which is fine.