OK, https://github.com/pantsbuild/pants/pull/4445 is in - I'll grab dinner and review the status of https://github.com/pantsbuild/pants/pull/4441 & https://github.com/pantsbuild/pants/issues/4447 before diving into version bump / changelog after dinner.