I don't really see the point of letting someone else update AUTHORS for me though, but now Alexandre can pick whichever version he likes best...
The point is some people forget, but the git log doesn't. It's updated semi-automatically, with a script, just not with every release. --Juan