Manpages of gif2png in Debian testing