FYI, repository has shrunk to 67M from 194M

[Jim Meyering]

While I was there, I ran "git gc" on the mirror.
That chopped a whopping 127MB off its initial size of 194MB.
Now it's at 67MB.