Session with the Coq Development Team