Update THANKS file.