MPI_Type_get_envelope.openmpi(3) on Linux

The text d228152cc9b5, as Debian 12 (Bookworm) shipped it.

Returns information about input arguments associated with a data type.