Curating READMEs while I wait for the proofs to build.