Manpages of s3dx11gate in Debian buster