Manpages of gjots2 in Debian stretch