Re: today's Gnulib autoupdate changed quoting style in INSTALL?

[Karl Berry]

I'm using makeinfo 7.1. Maybe that is the difference? That's what I've
had for a while (since it was released), but maybe INSTALL hasn't been
updated since then.

Other than that, my environment has not changed for ages. LC_ALL=C, if
it matters. I didn't do anything different this time than any other
time. Seems to me the results should not depend on the builder's
environment anyway.

Wouldn't it be better for INSTALL to be (entirely) 7-bit ASCII instead
of UTF-8, given the existence of INSTALL.UTF-8? Otherwise, what's the
point of INSTALL.UTF-8? And it's a lot easier to grep ASCII.

I find Unicode quotes so aggravating (in the context of programming)
that I basically pay no attention to what happens. Sorry.

What do you want to do? Should I just autoupdating INSTALL*? 
--thanks, karl.