Re: [PATCH] scripts: quote `like this', not 'like this'

[Paul Eggert]

Thanks for doing all that.  Looks good to me,
not that I reviewed every line.