The text c384d7517b2a, as Debian 9 (Stretch) shipped it.
Interoperability with OpenGL displays
hwloc_gl_get_display_osdev_by_port_device(3) on Linux now