ImageFile export

I currently want to compress the images we have on our website(jpg and png). There are about 1k of them so I've used the export function and selected the ImageFile.

The things I would like to have implemented are:

1. To be able to specify what type of image files you want to be exported.
2. To be able to either decode the file names after export or just have the maintain the original names they have in the backend.
3. To be able to choose whether you want thumbnails or not.

The fact that all files have a random name after the export is quite annoying since I don't know what they are called thus making it hard for me to reupload/replace the old files with the compressed ones.

Thanks.