DOC: update THANKS.txt