Clean up bots on shutdown.
Check for (exact) duplicates when adding bot names.