Manpages of xserver-xorg-video-tdfx in Debian testing