The names and profile links from credits.php will be pulled into the release post. Many of you haven’t updated your display name, so you should go do that: https://wordpress.org/support/profile/your-name/edit/.
A few days after release, I’ll update the release post for posterity purposes with any new display names.