; * etc/NEWS: Fix entry about 'electric-quote-replace-double'.