They place an emphasis on Github star count, but that is a terrible usage metric. Leaf got a lot of stars because it got a lot of HN exposure, but at the same time Leaf had no users. Assumedly that's the real reason why they are stopping development.

Here are the metrics that matter.

Over the lifetime of the project:

- 14 contributors

- 40 issues opened

- 161 forks

In the past month:

- 7 issues opened

- 6 PRs opened

In the past week:

- 0 issues opened

- 0 PRs opened

In other words, a ghost town. The lesson here is that a lot of HN exposure does not automatically convert into a lot of users.