Manpages of src:highlight in Debian stretch