Batch rename

Rename many files with find/replace, prefixes and numbering; download a zip.