MPI_Comm_disconnect(3) on Linux

The text a581610a7824, as Debian 13 (Trixie), Debian 11 (Bullseye), Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Disconnect a client and server