Ah - it looks like j.ohn got Jenkins green. I am going to re-run the release CI run.