codimd was heaven until I see hackmd ==== now I want more, wishing I could get the github integration, the named revision, and all the stuff I "could" get. I was happy with codimd because some of these features I haven't even considered / thought of. but now... they made me notice codimd's lack and imperfections. comparison and expectation is bane of all existence root of all human misery and unhappiness why are we like thisss haha > [time=Thu, May 28, 2020 9:53 AM]