I don’t they are purchased or fake.

I can unequivocally claim that Victor receives at least two orders of magnitude more social media engagement, while Lean likely has 4-5 more magnitudes of actual users.

Serious users of Lean simply have no need or reason to star the repository.