Hmm, vale, eso es bastante molesto… estoy creando un PR ahora para hacer esto:
Lo cual, como dices, debería reducir drásticamente la posibilidad de un conflicto. Dudo mucho que haya algún usuario llamado anonymous_users, así que no creo que sea necesaria una verificación o migración automatizada si hago este cambio de nombre.