I was killing bots in Armand sector M10 today and I found a bug. Bot names aren't removed from the sector players list when they're killed. So there were always no more than 3 bots in the sector at a time. But the sector player list included the name of every bot I had killed... making it a very long list indeed. My suspicion is that the randomly generated bot names werne't being properly cleared, and that this is probably causing a memory leak somewhere...

I noticed this last night, and thought I fixed it. Ah well. Yes, bots aren't ever being removed.

I think this is fixed now. The change may not have propagated to all bots yet though.