The AUTHORS is auto-generated when releasing. If you are seeing this,
use 'git log' for the list of people who have contributed.
