Manpages of python3.5-dbg in Debian stretch