yes, now github proofs are working!