01-13-2011, 05:41 AM
I'm not sure it's a good idea to name the bots after developers/active contributors, because that'll make confusion among new players, and also advocate nick faking (however. this will be solved sooner or later when nickname registration will be implemented).