Manpages of gdc-powerpc64le-linux-gnu in Debian testing