Manpages of gnujump in Debian stretch