MPI_File_get_type_extent.openmpi(3) on Linux

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

Returns the extent of the data type in a file.

MPI_File_get_type_extent.openmpi(3) on Linux now