This extension converts any record list to Csv. Pretty much like the Record List To Excel widget does.