how to add a download pdf button in html code example Example: html download link <a href="the/name/of/your/file.x" download>