Man pages matching name tuxfootball in section 6:

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