Comment by plagiarist

I think if you find the notes and trials as helpful for reasoning, likely other people might enjoy them as documentation in the final version?