Man pages matching name puppetserver in section 1:

puppetserver.1.en

debian 12 / puppetserver