You can change the file name used when downloading a file from your history with the Download App. The App defines the file name.
By default, file names are downloaded as

Blitapp also allows you to download multiple files in a ZIP file at once. This App applies to these files as well.