Manpages of s3dx11gate in Debian unstable