MPI_Pack_external_size.openmpi(3) on Linux

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

Calculates upper bound on space needed to write to a portable format