FYI: I committed a Git sin

[Joe Kutner]

I had to do some altering of old commits in the Git repo. This means
that if you have local commits that have not been pushed to origin you
may run into some problems the next time you pull.

I know this is a terrible thing to do in a Git repo (from the mouth of
Linus). But I had to do it for administrative purposes.

Thanks!

Joe