Update AUTHORS.txt.