As a slightly less but still very casual enjoyer too, I don't think there is a huge amount of value in dumping the lean proof or the natural language proof. I'd rather have an abstract of a paper that I can at least hope to understand 75% of before getting lost.

I'm guessing if you were really interested, you could email [email protected] (itself a hilarious e-mail address).