Manpages of src:kover in Debian testing