Removed AUTHORS file; Git history will suffice