Why don’t they just give each star a UUID? It doesn’t make any less sense, and it allows them to be uniquely named without requiring a centralized registration process.