Changed github proofs shouldn't be counted as "missing"