MPI_Pack_external_size.openmpi(3) on Linux

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

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