#celestial naming #star registry #official star name #astronomy label #star designation