Manpages of manpages-pt-dev in Debian stretch