Man pages matching name redi in section 3:

redi.3.en	debian 10 / libpstreams-dev
redi.3.en	debian 11 / libpstreams-dev
redi.3.en	debian 12 / libpstreams-dev