Hmm okay, that is pretty annoying…making a PR now to do this:
Which, as you say, should drastically reduce the chance of a clash. I very much doubt there is a user out there called anonymous_users, so I don’t think an automated check/migration is needed if I do this rename.