Man pages matching name hpixml in section 1:

hpixml.1.en	debian 10 / openhpi-clients
hpixml.1.en	debian 11 / openhpi-clients
hpixml.1.en	debian 12 / openhpi-clients