@rough-minister-58256 whenever you have a spare minute, could you spin https://github.com/pantsbuild/pants/pull/4331/ on the server just for final stats