John should be in the AUTHORS file.