geetools.batch.featurecollection.toCSV# geetools.batch.featurecollection.toCSV(collection, filename, split_at=4000)# Alternative to download a FeatureCollection as a CSV.