html/download: creating a downloadable file in the browser