MPI_Attr_delete.openmpi(3) on Linux

The text bdd276e8ff49, as Debian 12 (Bookworm) shipped it.

Deletes attribute value associated with a key -- use of this routine is deprecated.