1See the file CREDITS.  Automake likes us to have this file called AUTHORS.
2