update from the git battlefield

[Mark Polesky]

I'm git-weary but still alive. Johannes spent *hours* debugging
my problem, and eventually traced it to an undiscovered bug
in gitk that only affects Microsoft Windows... So I think I'm
back:

$ git push --dry-run
Everything up-to-date

Now I need a break. But man, what a sport that guy is.

Hope everyone's well.
- Mark