Okay, so https://github.com/pantsbuild/pants/pull/9506 works, but you’re saying a better option is to change the sequence of options parsing?