MPI_Comm_disconnect.openmpi(3) on Linux

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

Deallocates communicator object and sets handle to MPI_COMM_NULL.