Comment by radicalriddler

I think credit should be given where credit is due when Github’s just made a good change.

Complaining might work, but continuous complaining is tiresome.