Manpages of src:osdsh in Debian stretch