Man pages matching name pxtgen in section 1:

pxtgen.1.en

debian 12 / phyx