docs: update list of contributors

[stdlib-bot]

This PR

• updates the list of contributors

Reviewer Checklist

• For any new contributors, check if their full names are listed on their GitHub profile or in social links.
• If so, on the PR branch update the .mailmap file accordingly to ensure proper attribution.
• If updating .mailmap, regenerate the contributors file by running make update-contributors on the PR branch afterward.
• Approve the PR after verifying the changes.

[kgryte]

I'll close this PR. For whatever reason, the sort command on CI does not ignore case, and this PR only rearranges names. I'll end up undoing these changes as I am currently cleaning on the contributor list and mailmap.