Let's say you have a folder with a ton of files, but they all have super-long file names. Well, okay: How to bulk rename a bunch of files at once?