* etc/NEWS: Mention that unprettication of symbol at point is off by default.
Attach a file by drag & drop or click to upload