monthrename

github.com ↗

Renames month names to numbers in filenames.