MPI_Group_translate_ranks.openmpi(3) on Linux

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

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