• Organization
• Schedule
• Some more possible topics (by Emilio J. Gallego)
• Bugzilla vs other tools?
• README.dev
• Splitting the libraries
• coqdoc future
• Minor points