Acredito que seria uma medida de bom tom e bom senso, principalmente por se tratar de um servidor majoritariamente infantil. O nick em questão é problemático porque a palavra "garotinhas" remete diretamente a meninas menores de idade e, dependendo do contexto, pode carregar uma conotação de interesse inadequado por crianças.

Embora o nome não seja explicitamente sexual e o jogador tenha apresentado um appeal alegando outro significado, isso não elimina a preocupação que ele pode gerar. Não se trata de acusá-lo de qualquer intenção criminosa, mas de reconhecer que, em um ambiente frequentado por tantas crianças, seria sensato adotar uma postura mais cautelosa.

Um banimento permanente, nesse caso, poderia demonstrar o cuidado e o comprometimento da administração com a proteção do público infantil, mesmo diante de uma suspeita, sem que isso signifique uma obrigação.

Não há como ter certeza da real intenção por trás do nick, e seria injusto afirmar algo sem provas. Entretanto, pelo sim ou pelo não, quando estamos falando de um ambiente frequentado majoritariamente por menores em conjunto com maiores de idade, acredito que o mais sensato seja priorizar a segurança das crianças. Diante de uma dúvida dessa natureza, considero que a cautela e a prevenção devem prevalecer.