Question: Is there a reason for duplicated data entries in stars*.geojson #6
Description
Some data entries are duplicated in the json files. IE. Sirius is in all of them but there is more. Wondering if there is a reason for that not sure if intended or not.