MPI_File_get_type_extent.openmpi(3) on Linux

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

Returns the extent of the data type in a file.

MPI_File_get_type_extent.openmpi(3) on Linux now