Manpages of fastddsgen in Debian testing