Question: Is there a reason for duplicated data entries in stars*.geojson

[mufty]

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.