Bit #21

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

<a href="file_9081241377.pdf" download="report.pdf"> Download Report </a>