[peppery]

It is a good idea! Another excellent editable wiki for proofs has existed for some time: https://www.proofwiki.org/wiki/Main_Page It is nice to see growth in this fertile space.