Manpages of dsh in Debian stretch