Additional documentation for the developers of Coq