Realised I never responded to this - I’ll hold the L on that reasoning, didn’t think that through. I grant that you may be right about the stars, but I’m still doubtful due to my anecdotal experience of seeing a lot of activity around the repo + discord server from 4k stars to over 10k (while I was following it semi-closely). Entirely possible though, of course.