Manpages of libxxf86dga-dev in Debian testing