When JSON and JSON Examples are downloaded, the first one is saved as "definitions.json.zip" and the second one "examples.json.zip". Both have several files with the same name and pretty much the same content except there is DIV segment in the example files. I would expect that "example" zip files should have the actual examples of the Organization, Location, and HealthcareService profiles and not the specification jsons. Same comment applies to XML and XML Examples download.