Took me like a minute, so I did it anyway. It’s orthogonal to the change in progress anyway https://github.com/pantsbuild/pants/pull/4367