Request for nonexistent manual page /usr/local/man/man3/HWLOC_TYPE_DEPTH_OS_DEVICE.3