Hi @javismiles -
To set the name of your file, you can set the download
argument, as shown in this post:
As far as setting a button or similar, it’s a similar concept to here. If you have the HTML for a button, you can make it an f-string in Python, substituting in your values, then use st.markdown
to render the button.