Comment by latexr

As this is a thread of its discontinuation, might be worth looking at the thread of its announcement.

https://news.ycombinator.com/item?id=21602437

Haven’t explored it yet, but it might be interesting to see how the sentiment shifted.