A União Astronómica Internacional, que atribui os nomes aos astros, abriu pela primeira vez essa possibilidade ao público a nível mundial