Manpages of s3dx11gate in Debian experimental