Re: someone else to do the list of acknowledgments

516 contributors this cycle vs 462 last cycle.

When name accents/capitalization differed, I went with the string used in the previous year.

Some of the names that come from bug reports and doc fixes are just first names, and the discussion threads shed no light on the full name of the person.

I have a git log that has been "redacted", which is to say that every name attribution has been screened out, as well as names of known past contributors, and various other name-looking things that aren't people (ex. Microsoft Windows) screened out. Even with all that automation it is still over 50k lines, so if you want to double check that, make sure you have a comfy chair.