MPI_Group_translate_ranks(3) on Linux

The text f9cea8dd7f46, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

Translates the ranks of processes in one group to those in another group