• Notes on the release process of Coq 8.11
• Time-based release cycle
• Items to include in the release