Where you want to give the image a meaningful name you can use the Name Gallery and add "filename=Antonio 2345. The original image and its optimised version will then appear on export with the name...