> I did not realize the build instructions recommended using the
> buildbot tool.  It is clearly past time I got around to doing windows
> build myself.

I'd rather prefer a different setup, also: it would
be better if the batch files to get the sources lived in PC (or perhaps
PCbuild), with Tools/buildbot just referring to them.

> Please regenerate the diffs from the top level of the checkout, and
> we'll see if one of the windows devs feels like checking it in.

If the buildbots continue to work, it's fine with me.