Manpages of src:hfst in Debian stretch