Batch files to GeoJSON

Convert several supported geospatial files and merge their features into one FeatureCollection. Each feature keeps a source_file property. Files are parsed in the browser—see formats & limits and privacy.