the problem (at twitter) with telling people to change things in pants.ini is most people use command line options to override things that we provide a pants.ini for them already with a bunch of settings. Command line options provide users a good way to override things on an individual basis.