MPI_Lookup_name.openmpi(3) on Linux

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

MPI_Lookup_name.openmpi(3) on Linux now