https://github.com/pantsbuild/pants/issues/19022 has been approved, but had some ongoing discussion/tweaks… I think I’ve resolved them but I’m not sure it’s a good resolution. Can I merge? (Cc @happy-kitchen-89482 )

i think he went to a doctor’s appointment.

Yep, feel free to merge! Thanks

Oops, revisited/reverted due to Benjy's better idea to simplify things: https://github.com/pantsbuild/pants/pull/19071