Estou estudando html e gostaria de saber se o atributo download pode receber algum tipo de valor? Estou vendo uma aula em que o professor inferiu que tinha, mas não consigo achar em nenhum lugar da internet e ele não especificou. Por exemplo:
<a href="urltal" download>, daí eu poderia colocar algo como <a href="urltal" download="algumvalor">
Enfim, existem valores para o atributo download?