On Wed, Aug 3, 2016 at 11:35 AM, Glenn Morris <rgm@gnu.org> wrote:

AUTHORS is a generated file and should not be edited directly.
Changes will be lost the next time it is regenerated.
Instead edit admin/authors.el, or fix the ChangeLogs.
Probably you want authors-fixed-entries in this case.

​Ok.  Why not add a sentence at the top of the generated file that says, This is an auto-generated file, don't edit this, edit admin/authors.el​ to avoid any question in the future.

Bob