>> Don't keep them in the repo, but include them
>> in the release tarfiles (just need to make make-dist gripe/build them if
>> they are not found in the source tree).
>
> That will add complexity to building releases for Windows, I think.
Surely building releases for MS Windows (or any platform) must start
from the release tarfile.