Man pages matching name pipetty in section 1:

pipetty.1.en	debian 10 / colorized-logs
pipetty.1.en	debian 11 / colorized-logs
pipetty.1.en	debian 12 / colorized-logs