ready to do some refactors
it compiled?
work on bug that changed github shows up as missing too
Changed github proofs shouldn't be counted as "missing"
ui tweak