Batch file rename

Rename image sets in the browser

Build the recipe once, check every new filename against the old one, catch collisions before they happen, and download the whole set as a zip.