I would not put bug reporters in the AUTHORS file (unless they provided patches that we integrated). Otherwise maintenance of this file is becoming a big burden.