AUTHORS extracted straight from git log: git log --format="format:%an <%ae>" | sort | uniq