On 03/14/2016 09:42 AM, Dmitry Gutov wrote:
> Will everyone have to put curly quotes into NEWS now? Or will Paul go 
> and follow up on every change? 

I can follow up and nag people for a while, sure. It's not a big deal. 
To make things easier we could install the attached patch, so that 
people can continue to type ` and ' like they're used to, when editing 
etc/NEWS.

Alternatively we could revert commit 
4235d2d9eaa3b64d3172f6c60f1e71704795af89 and go back to straight quoting 
'like this' in etc/NEWS, as was done after my first patch today. That 
would be adequate too, even though (as John said) it is less consistent 
with the rest of the documentation. The main point is that grave quoting 
`like this' is not right in user-facing documentation.