Use of an AUTHORS section is strongly discouraged. Generally, it
is better not to clutter every page with a list of (over time
potentially numerous) authors.
Add your name to comments in sources, or the root level AUTHORS
file instead.
Some email addresses was underlined and some wasn't. Remove underline
from all email addresses to be consistent. The reason for chosing
no underline is that the email address isn't clickable and to be
consistent with the output from git log.
Timo Teräs
Ariadne Conill