Re: [Mpi3-rma] RMA WG discussion