Caso seja para mudar, abre-se se uma ticket e eles fazem isso quando tiverem tempo. Acho que é uma questão de se fazer um brain-storming para encontrar várias opções, seguindo-se de uma votação para eleger o melhor, tudo isto no fórum geral. E é claro que o nome actual seria uma das opções na votação, contudo, acho que se devia alertar para a existência deste erro. Até pode ser que a maior parte das pessoas não queira mudar e assim, vocês aguentam-se à bronca :P