MPI_Request_get_status.openmpi(3) on Linux

The text ec1e60ef78bd, as Debian 11 (Bullseye) shipped it.

Access information associated with a request without freeing the request.