Man pages matching name pxstrec in section 1:

pxstrec.1.en	debian 10 / phyx
pxstrec.1.en	debian 12 / phyx