MPI_Pack_external_size.openmpi(3) on Linux

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

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