> Can you add a ticket about this? Collectives WG seems like the right > place... Here? https://github.com/mpiwg-coll/coll-issues Or here? https://github.com/mpi-forum/mpi-issues/issues