copyright is held by the names listed in the AUTHORS file.