The downloaded file name can be changed. The path is /download/<build-id>/<file-name> Thus, we can safely allow the changing of the file name to be done in the web front end.