• Topics
• Roles
• Synthetic notes
• Less synthetic notes
• Renaming and release management
• Good first issues
• https://github.com/coq/coq/pull/19610
• CEP 42