MPI_Comm_split_type.openmpi(3) on Linux

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

Creates new communicators based on colors and keys.

MPI_Comm_split_type.openmpi(3) on Linux now