Manpages of src:iok in Debian stretch