Save data to csv file

Hi there

If I want users of an app to generate some data interactively, then after perhaps further manipulation, save to a csv text file, is this the recommended route?
Thank you

As an aside: in that documentation, the download autompg.csv button works:

but the download filtered_autompg.csv does nothing (however, it does work if one runs the downloaded notebook):