Now, what would be more interesting to know, but Reddit isn't going to tell us is "How many accounts banned for bot behavior use a custom username versus using the default generated username".