Manpages of src:tina in Debian stretch