Re #140: Stream CSV output for collection export.