Man pages matching name tdfx in section 4:

tdfx.4.en	debian 10 / xserver-xorg-video-tdfx
tdfx.4.en	debian 11 / xserver-xorg-video-tdfx
tdfx.4.en	debian 12 / xserver-xorg-video-tdfx