See the file data/CREDITS .
