those could work. I’m just saying that sometimes ignoring options in pants.ini is what we want. Definitely would be good to be able to detect stale or unused settings when you’re doing an upgrade.