Authors: Update AUTHORS.txt and .mailmap