Manpages of gnujump in Debian unstable