Man pages matching name ttyplay in section 1:

ttyplay.1.en	debian 10 / ttyrec
ttyplay.1.en	debian 11 / ttyrec
ttyplay.1.en	debian 12 / ttyrec