We should automatically generate AUTHORS.txt instead of manually updating it. We would also need an author substitutions file in concert with this, since some commits have non-valid email addresses or names.

Otherwise, especially with bors, it's too easy to forget to add someone (or lose track of who has a committer's agreement on file and who doesn't).