GitHub for Windows may have messed up, biut they say I HAVE to commit this, so I shall.

GitHub for Windows said these changes needed to be pushed. I see no
difference.