No code committed yet because it will break stuff -- I should be working in a branch but I'm not. But I'm trying an append function that would add a new GeoJSON feature collection to the existing one. If this isn't practical, an alternative approach will be to combine two GeoJSONs in JS before reading them, but that's probably no simpler.