At present, HTML is rendered via `make4ht`. However, it lacks the information about PDF downloading. The expected output: 1. Change the HTML template and/or setting to add the PDF download hyperlink. 2. Mention PDF download only in generated HTML. The body of PDF document should not contain the download link though.