Como administrador, você pode alterar o nome de usuário deles manualmente. Basta ir ao perfil deles e editar o nome de usuário. 
Mas acredito que ele também deva ser único, então talvez apenas reescreva anon para deleted_user e mantenha os números.
Como administrador, você pode alterar o nome de usuário deles manualmente. Basta ir ao perfil deles e editar o nome de usuário. Mas acredito que ele também deva ser único, então talvez apenas reescreva anon para deleted_user e mantenha os números.