The file coverage.geojson has been downloaded to your device.
If the download didn't start automatically, tap the button below.