I found this looking for other things. I hadn’t seen it posted here before. FWIW...Maybe it could be put in as another resource in the “Trust The Plan” links.
https://qmap.pub/proofs
great find!