MPI_Type_delete_attr.openmpi(3) on Linux

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

Deletes a datatype-caching attribute value associated with a key.