@sangwinc while filing that away in my bib file, I spotted abstractmath.org. Have you seen it before? What do you think of it? I like the idea but actually reading it is quite hard