Manpages of python3-coverage in Debian testing