The text c132751b70e1, as Debian 10 (Buster) shipped it. The page shows this text now.
hwloc_intel_mic_get_device_osdev_by_index(3) on Linux now
