MPI_Type_get_extent.openmpi(3) on Linux

The text b3c0bfb81ed6, as Debian 10 (Buster) shipped it.

Returns the lower bound and extent of a data type.

MPI_Type_get_extent.openmpi(3) on Linux now