Build log: neatlogs fix loop, v2, real docs, upstream PRs, Trails, bisect, prerequisite proof

Records Saturday afternoon to night with links to every PR, the checkpoint of the neatlogs fix, the bisect comment and the jury self-test. Ticks the repo and checkpoint items in the submission list.