You can change the filename of a downloadable file by defining a value in the download attribute.

posted on