Existem alguns. Não muitos, mas já vi algumas inscrições por mês que usam caracteres Unicode desde que introduzimos Unicode usernames and group names em 2019.
Ele foi habilitado para testes e uso interno, e acho que não podemos mais desabilitá-lo, a menos que renomeemos todos os usuários que têm caracteres Unicode em seus nomes de usuário. Caso contrário, esses usuários seriam quebrados.
De um ponto de vista técnico, eles são… você só não está acostumado a digitar essas letras. 