(If I didn’t have folks coming to stay from abroad this evening, I’d probably try to push on with https://github.com/pantsbuild/pants/issues/6003 because it’s been fun)