Man pages matching name pinto::shell in section 3pm:

Pinto::Shell.3pm.en	debian 11 / pinto
Pinto::Shell.3pm.en	debian 12 / pinto