update AUTHORS, THANKS, and TODO