Thread history

Re-adding bots actually only takes 2*m, once to add the bot, and once to add all of the pairings after all of the other bots have been added. Doing something different would require updating the rumble protocol, which I'd prefer not to touch.

Well, thanks for explaining the mechanism. O(m) feels much better, and a cleaner code is also preferable.