Comment
Comment by TeMPOraL
Can you give any other metric for its popularity? Stars aren't a good one - Github stars are bookmarks, not a reflection of whether one actually uses a given repository. Personally, I have 301 starred repositories, of which I maybe use... 5?