Add a note about the AUTHORS file to the dev docs.