[tschumann]

Oof, better late than never - v0.4.3 has been released.

Sorry, what was the bot_count issue again? I've been a bit of of the loop here for a while.

Re custom names - it's a bit harder to do as I've got bot profiles in the code, not just a list of names. Let me think about a way to do this.