tiny little PR to make my life happier: github.com/pantsbuild/pants/pull/23631 Let me know if this is crazy. 😄