We lost 54k GitHub stars

[OvermindDL1]

@dimitarvp

And to me GitHub became a bit lazy ever since Microsoft bought them.

I think it’s because they don’t worry about funding now. Often that stress can be very good to make a good product that people want.