I'd like to propose a small change here:

1. **Core Dev**: A community member who has commit rights to the GitHub repository. They've usually been active for some time, have a track record of submitting quality pull requests and help review outstanding PRs.
2. **Release Manager**: A member of the core dev team who performs each release when feature development is complete. He/she provides final QA before each release and actually performs the release process steps.
3. **Community Coordinator**: Core dev who helps organize the core team to identify future milestones and releases. They are active on the mailing lists and help identify release champions for each new version.
4. **Release Champion**:  Core dev who is excited about the upcoming release, has expertise in the topic and wants to lead development of the proposed features. They will organize tickets, delegate tasks to other willing core devs and perform actual development themselves.

Maybe this should be placed in the core dev page and this page is just updated to reference it.