[Mpi-forum] Progress rules in MPI, Issues 468, 499, 492, 493