Comment by xorand

Finished, see especially "How not to read these notes" (section 1) and "How you can contribute" (section 2) https://arxiv.org/abs/2003.14332