@fancy-queen-20734: i went ahead and merged it. going to merge https://github.com/pantsbuild/pants/pull/4729 on top of it.