Add THANKS file
Add David Wolever to THANKS