The "Debugging Open MPI Parallel Applications" documentation section needs to be updated for the capability described in this commit: https://github.com/open-mpi/ompi/commit/f97d081cf9b540c5a79e00aecee17b25e8c123ad