Man pages matching name xteddy in section 6:

xteddy.6.en	debian 10 / xteddy
xteddy.6.en	debian 11 / xteddy
xteddy.6.en	debian 12 / xteddy