Having trawled through the PRs to generate the last list of changes, I think they should be criteria for a merge!