#5 Random name selection

[Anonymous]

Not sure if this project is looked over anymore, but I have a simple request: Have the bots choose a random unused name from their names list, instead of each name in order.

~Eb