AUTHORS: regenerate, cleanup, refactor
**- What I did**
Regenerate `AUTHORS`, and refactor the crusty script along the way.
Also hunt down missing/bad mailmap entries to clean up the generated result.

**- How I did it**
Using intuition -- I'm confident in all the mailmap changes (and the more daring ones like username -> full name were made by consulting Github profiles).

**- How to verify it**
Manually, using the script and the updated comments.

**- Description for the changelog**
N/A

**- A picture of a cute animal (not mandatory but encouraged)**
![](https://cdn.discordapp.com/attachments/941248256015478784/1039577705005465672/unknown.png)

Note: This could use a backport to the 22.06 branch, all but the latest commit should be cherry picked; the last comment must be regenerated by running the script.
hack/generate-authors.sh
#!/usr/bin/env bash
set -e

cd "$(dirname "$(readlink -f "$BASH_SOURCE")")/.."

# see also ".mailmap" for how email addresses and names are deduplicated

{
	cat <<- 'EOH'
		# This file lists all individuals having contributed content to the repository.
		# For how it is generated, see `hack/generate-authors.sh`.
	EOH
	echo
	git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf
} > AUTHORS

#!/usr/bin/env bash

set -e

SCRIPTDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
ROOTDIR="$(git -C "$SCRIPTDIR" rev-parse --show-toplevel)"

set -x

# see also ".mailmap" for how email addresses and names are deduplicated
cat > "${ROOTDIR}/AUTHORS" <<- EOF
	# File @generated by hack/generate-authors.sh. DO NOT EDIT.
	# This file lists all contributors to the repository.
	# See hack/generate-authors.sh to make modifications.

	$(git -C "$ROOTDIR" log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf)
EOF

https://generated.at/

We could combine the two if you like.