Manpages of python3 in Debian testing