Manpages of giflib-tools in Debian unstable