Comment by dc3k

I don’t think I have ever starred anything on Github. I think in this sort of situation I would add the star and remove it once the fix is added.