Bots are able to be created with duplicate names.

[heyitsbench]

[heyitsbench]

Not a surprise, since the pool of names is almost definitely small enough to rear its head when min bot count is high enough.