Re: [Mpi3-tools] Updates to DLL Discovery API proposal