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