The only thing that bothers me about the PR is that they don't seem to intend wide distribution at least at first, I believe it says for their managed/partner collectives, which is what 13-15 collectives or correct me if I'm wrong. The other PR's usually say distribution to 88 or so collectives