It’s a useful tool. But its “value” is about the same as a github repo with your pdf.

It doesn’t need much funding or staff and not quite sure why they’re going through all this rigmarole and independence. I almost think they’d be better off like Apache where there ade very few employees.