hwloc: misc updates to the main page