Quarter-century of proofs of the XOR lemma