Manpages of src:jfractionlab in Debian stretch