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