Update CONTRIBUTORS.txt