We should set up a process where CONTRIBUTORS gets updated semiautomatically. See #10639 for the last time, which I believe was more manual.