See doc/authors.html.