Comment by cloudfudge

I don't have to know their reasoning in order to know public github history is not necessarily an accurate record of all changes.