Paul Eggert <eggert@cs.ucla.edu> writes:

> We have a long holiday weekend in the U.S., for what that's worth. I haven't 
> reviewed the patch carefully, though I do like the idea of not putting 
> automatically-generated files into the repository.

I like the idea as well.

Cheers,
Nico