In general, I agree with being able to detect stray pants.ini settings, but sometimes we allow multiple versions of pants in the same repo (a beta version) and it is convenient that they be ignored.