Hm, while I agree with you, I think changing it now might be bad as it would break all existing configs that use these settings.
I don't think this is a big problem.
1. PaintGrens and SmokeGrens are not in the server config file by default, so most servers just use the default anyways.
2. Only the people running servers on linux will be required to change it, and I don't think there is anyone running a paintball server on linux who doesn't have more than enough knowledge to change this simple setting.
True that it might break a few configs, but it will prevent future problems also.