nicer filenames on CSV export (also downloads as a file now)