Re-apply 1af6b9688 incorrectly removed by f8135512c

The `git shortlog` is additive, hence AUTHORS may never shrink. I *knew* that
ribasushi--