Re: [Mpi3-tools] comments on MPIR doc