Currently, all PRs linked to a release get a piece of visual information that is only visible for users having the GitHub Refined Browser Extension:

Having this information not visible to most users and contributions is sad because this is valuable information, especially for bug fixes.
Ideally, the release process would post a comment on all related PRs and issues π