Ah well, re-running the release script appears to have sorted it out.