Thanks, I'm happy that you like it!
The notebook is an interesting idea. I'm imagining a sort of "proof gallery", or did you have something else in mind?
Proof gallery yeah, that's a good description. Proof gallery with a "high score." Like we fumble though it making mistakes taking way more steps than needed. That's what gets saved, the most concise proof isn't given just because we solved it. The ten step solution, then we shave it down to eight, and that's saved over, etc. When we get down to the wire with the minimum steps, we get a the name and maybe a quick blurb about it.
I love learning, but I got a goldfish brain, every time I come back I wonder how I solved the last one.