These kinds of automated lists are a bit iffy in terms of relevance to the development of the document. The contribution could just be some technical detail of respec that needed fixing, such as W3C group name, licensing, etc. Meanwhile people who have made substantive suggestions in the comments but for which I opened the pull request, for example, get ignored (probably less an issue here than in dpub-aria, though). It also gets anyone in the history of the repository, so some of the names are for contributions six or seven years old that went into 1.0.

I'd probably be less hesitant if this were in a "Contributors" subsection and the lead-in sentence more clearly recognized that these are individuals who have opened pull requests. It still doesn't seem right to ignore commenters if we're going to add people who opened pull requests, but maybe we could add a generic sentence after acknowledging all commenters, too.

Thanks @mattgarrish.

Closing this as per discussion on today's editors call https://www.w3.org/2023/12/11-aria-editors-minutes.html