Randomly sample addresses for a given city

https://batch.openaddresses.io/data is a great open source project to provide addresses, but I often don't need the whole list. In the embedded Hex notebook that follows, we'll show you how to take a .geojson file from that site, sample from it and then download it as a csv.