coverage: ignore wsgiserver diff_match_patch