GitLab

* doc/misc/htmlfontify.texi, doc/misc/org.texi:
* etc/ETAGS.EBNF, etc/NEWS, etc/ORG-NEWS: Add "coding: utf-8".

Fixes: debbugs:17575