Authors and contributors are the same as listed in the AUTHORS file of GitHub repository of the source code.
