I want to be able to more finely tune the counters at export to use leading 0s (zeros). When I export, I get things like "myfile-9.jpg", "myfile-10.jpg"... and of course these don't sort properly alphabetically. I'd want to be able to export to a naming scheme like "myfile-009.jpg", "myfile-010.jpg" - and be able to specify the range of course.
I do know they are DOZENS of ways to adjust the file names after the fact, from dedicated apps to scripts in dozens of scripting languages, and I'm using them... But really, I shouldn't have to do it.