DownloadButton is a simple component for letting the user download a javascript-generated file. It was extracted from Notablemind.