deprecations only trigger with CLI flags, right? I’m concerned people don’t know they’re using deprecated options set in pants.ini until it’s deleted