Manpages of jedit in Debian unstable