Man pages matching name paulstretch in section 1:

paulstretch.1.en	debian 10 / paulstretch
paulstretch.1.en	debian 11 / paulstretch