Manpages of covered in Debian stretch